标签

AI智能体攻克80年数学难题:OpenAI如何颠覆埃尔德什猜想

"假如埃尔德什仍在人世,他必定会为这项成就感到极度兴奋。"佐治亚理工学院数学家汤姆·特罗特如此评价OpenAI的最新成果。2026年5月20日,OpenAI宣布其内部通用推理模型成功证伪了匈牙利数学家保罗·埃尔德什(Paul Erdős)于1946年提出的"平面单位距离猜想"——一个困扰离散几何领域近80年的核心开放问题。菲尔兹奖得主蒂莫西·高尔斯称此为"人工智能数学领域的里程碑",并坦言"若这篇论文以人类作者身份投递至顶级期刊,我会毫不犹豫地推荐发表"。这不仅是一次数学上的突破。它彰显了AI智能体正在经

2026-06-15 20:11:29  |  24 阅读

AI大模型周评第29期:对话与推理新排名

OpenAI推出的gpt-oss-120b (high)以93.4分拔得头筹,凸显其在数学推理方面的卓越实力;紧随其后的是gpt-oss-20B (high)(89.3分)与GPT-5 nano (high)(83.7分)。相比之下,Meta的Llama 4 Maverick(19.3分)及Google的Gemma 4 E2B(15.2分)等轻量级模型得分较低,印证了大参数模型在处理数学任务时的显著优势。在综合智能任务中,Anthropic的Claude Fable 5以64.9分领跑,OpenAI的GP

2026-06-15 11:44:20  |  14 阅读

AI 浪潮下数学人的新定位

2026 年,Timothy Gowers 将一道开放性数学难题提交给 ChatGPT 5.5 Pro。耗时 17 分 05 秒的"深度思考"后,AI 不仅提供了最优解,还以 LaTeX 格式输出了标准数学论文。全过程无需人工插手。这已非科幻——AI 与数学融合的时代已然降临。人工智能正深刻重塑世界格局。对数学学子及研究者而言,AI 既带来前所未有的契机,也引发关于自我价值的深层反思:当 AI 能攻克难题,数学从业者还剩什么?其实,答案早已铭刻于历史:AI 的每次飞跃,本质皆是数学的胜利。

2026-06-15 01:44:22  |  10 阅读

莱顿宣言:AI时代,数学不应沦为机器附庸

引言6月2日,《人工智能与数学莱顿宣言》在荷兰莱顿面世,由国际数学联盟(IMU)发起,目前已有2411位数学家签名。宣言直面现状:人工智能早已跨越了实验室阶段,深入数学研究的核心。它意在技术狂热中确立一条冷静的界限——数学的本质在于理解与批判。无论技术如何更迭,这一底线不可逾越。关键词:莱顿宣言,AI数学,批判思维,机器答案,学术伦理,国际数学联盟,拒绝AI,菲尔兹奖近期,针对《莱顿宣言》,2018年菲尔兹奖得主彼得·舒尔茨(Peter Scholze)发表看法:“我更倾向于不依赖人工智能来构思数学思想,

2026-06-14 16:43:50  |  7 阅读

AI 选号实战:统计与组合数学打造智能过滤系统

一、前言设想你有 35 个备选号码,每期从中抽取 5 个。手握 2880 期的历史开奖记录,你是否能仅凭数据分析,构建一个“候选池”,让最终中奖号码极大概率落入其中,同时将该池子缩至最小?这实质上是统计筛选与组合优化的结合。本文阐述的系统采用三层过滤机制、多轮等差数列覆盖及七维组合校验,在 2880 期真实数据回测中实现了 73.9% 的投入产出比。候选池从 35 个缩减至 29 个(压缩率 17%),而命中率依然维持在 85% 以上。二、核心逻辑2.1 问题建模定义全集`U = {1, 2, ...,

2026-06-14 03:04:39  |  15 阅读

IB数学AA/AI分类练习册,SL/HL全覆盖,备考更轻松!

IB数学属于六大学科中的必考内容,学生需在IBAA/AI众多科目中选定SL或HL级别,选课时需结合孩子未来的升学目标及专业需求。特此整理了IB数学AA/AI科目的分类练习册,支持PDF打印,建议大家利用课余时间多做练习,以此夯实基础并灵活运用所学知识。IB数学AA SL试题集IB数学AA HL试题集IB数学AI SL试题集IB数学AI HL试题集上述仅展示了部分资料内容,更多资源都在资料包里!关注公众号,私信回复“888”获取IB数学分类题库

2026-06-13 14:31:07  |  13 阅读

AI时代:数学教育的深层变革

AI能解题之后,真正稀缺的不是计算能力,而是把现实问题翻译成数学的能力万物解码 · 跟上 Victor,用数学拆解世界前几天,有个家长问我一句话:“Victor,AI 都会做高考数学了,我还让孩子学数学竞赛,是不是有点反时代?”我听完第一反应是:这个问题问反了。正因为 AI 会做题,孩子才更要学数学。但不是学那种“刷一百道同类题”的数学。很多白领父母的焦虑,我特别能理解。你们在办公室里已经见过 AI 的威力了:写周报、做 PPT、整理会议纪要、写代码、分析表格,过去一个实习生半天的活,现在几分钟就能出初稿

2026-06-13 14:17:21  |  31 阅读

2026高考三连测破局:上清北AI智学机问鼎全球数学应试之巅

2026年全国高考已顺利收官,作为全球AI应试领域公认的顶尖数理难关,高考数学再次成为检验人工智能逻辑推理、核心素质匹配及实战应试能力的关键战场。随着三年全真闭环实测数据完整公布,上清北AI智学机凭借连续三年新课标Ⅰ卷的硬核表现,创下全球教育AI的独家纪录:2024年与2025年连续两届斩获150分满分,全卷零失误;2026年则逆势取得147分及以上的高分段成绩。这一连续性且具突破性的实战成果,彻底刷新了全球高考专项AI应试的天花板,标志着中国高考教育AI的单科实力正式领跑世界。本次为期三年的系列实测,全

2026-06-13 10:01:30  |  28 阅读

AI 实战指南:汉堡包学习策略

AI 实战之汉堡包🍔学习法!掌握 AI 宛如制作“汉堡包”🍔——上下两层“面包”对应通识根基与 AI 实操,而中间那层看似难啃的“夹心”,实则是数学与算法。无需开局就强攻核心,大可先从底层通识入手,借由上层实践应用——例如智能问答、生成式工具的操作——逐步向中间渗透,最终消融那“信息泛滥却无从下手”的困惑。重庆 , 2025 年 11 月 30 日 20:13 ,掌握 AI 宛如制作“汉堡包”🍔——上下两层“面包”对应通识根基与 AI 实操,而中间那层看似难啃的“夹心”,实则是数学与算法。无需开局就强攻核

2026-06-13 09:37:07  |  25 阅读

AI专业成热门赛道,普通家庭的孩子该不该报志愿?|高考选专业系列(1)

打开志愿填报表,许多家长首先会被"人工智能"这几个字吸引目光。听起来很新潮,听起来待遇优厚,听起来代表未来趋势。但越是受关注的专业,越不能仅凭名称做决定。先表明我的观点:人工智能专业值得关注,但普通学生不能盲目跟进。它更适合那些数学功底扎实、乐于编写代码、能够坚持自主学习、所在院校具备AI教学实力和项目资源的学生。如果仅仅因为"AI很热门",但孩子对数学、调试程序、长时间伏案解决问题感到抵触,那么这个看似光鲜的专业名称,可能成为大学四年的负担。许多人对人工智能专业的认知停留在"会用ChatGPT、掌握几个

2026-06-13 06:30:09  |  18 阅读

梁文锋与 DeepSeek:中国版马斯克?AI 竞争迈入深水区

一年半之前,DeepSeek 骤然崛起,让梁文锋声名鹊起。DS 的架构大体模仿了海外同类竞品,其核心亮点在于训练成本急剧缩减,这并非几分之一或几十分之一的降低,而是降至百分之一。百分之一的成本意味着什么?即便是马斯克的星舰项目,其成本也仅达到各国水平的十分之一,尚未触及百分之一。成本降至百分之一等同于全面压制,足以彻底击溃所有竞争对手。倘若这源于独特的硬核技术,那梁文锋便是名副其实的中国马斯克,足以碾压全球同行。然而关键在于,这种高效能否持续?是否有后续力量支撑?马斯克曾推测,梁文锋的 DS 隐瞒了真实开

2026-06-12 08:28:21  |  24 阅读

AI 赋能:数学教师如何高效完成备课革新?

AI 时代降临,数学教师的备课模式是否亟待转型?这并非一道可选的判断题,而是一道必须作答的必答题。2026 年 4 月,教育部携手四部门发布“人工智能 + 教育”行动纲领,明确规定将人工智能纳入教师资格考核与认证体系。同期,高考数学评析强调构建结构化知识网络、创设创新情境、深化思维品质考查——教育指挥棒的方向已然转变。从“双基”演进至“四基四能”,再到 2022 版《数学课程标准》提出的“三会”,三十载光阴里,数学教学对师资的要求持续升级。当下的教师已不仅是知识的搬运工,更需蜕变为学习的设计师——以核心素

2026-06-12 03:42:01  |  17 阅读

AI赋能 智慧课堂

👈左滑阅读英文为了深化宏外融慧教育品牌的打造,紧扣小学数学核心素养的培养,宏远外国语学校数学组举办了名为“AI赋能,智构知识”的高品质课堂竞赛。To advance the school’s integrated wisdom education and cultivate our students’ core mathematical competencies, the Mathematics Group held a themed high-quality classroom competition.

2026-06-12 00:01:32  |  17 阅读

中国人工智能学会赴新疆政法学院开展交流活动

6 月 8 日,作为离散智能计算年会及第 25 届全国离散数学会议的预热环节,“中国人工智能学会走进新疆政法学院”活动圆满举行。此次活动由中国人工智能学会牵头,联合离散智能计算专委会与新疆政法学院信息网络安全学院共同承办,并邀请了来自西北大学、华南师范大学及广州软件学院的三位权威专家进行专题学术分享。新疆政法学院党委常委、副校长祁欢与杨臣出席活动,信息网络安全学院院长祁建军担任主持。校方领导在致辞中强调,身为西部关键的政法学府,学校始终秉持“立德树人、德法兼修”的教育宗旨,积极拓展“人工智能 + 教育”等

2026-06-11 23:31:55  |  17 阅读

AI赋能数学研究:工具演进、边界认知与实践策略

今日在学院午间研讨会进行了关于AI4Math的主题分享,以下为演讲完整内容。各位同仁,中午好!非常感谢学院提供的交流机会。坦白讲,接到这个分享任务时,内心确实有些顾虑。因为我知道,院内不少老师在人工智能的应用与探索方面已走在前列。今天我更多是以抛砖引玉、相互学习的态度,与大家分享个人的观察与心得。计划用约三十分钟做简要汇报,之后预留更多时间,期待与各位同仁深入探讨。今日分享的主题是:AI赋能数学研究:工具演进、边界认知与实践策略首先需要说明的是,这并非严格意义上的学术报告,更倾向于经验交流。过去一两年间,

2026-06-10 23:18:15  |  18 阅读