2026-10-07
AI for Science与基础科研范式突破
人工智能正重塑数学与物理基础研究范式。OpenAI一次性放出722篇数学成果，涵盖准黎曼猜想等顶级难题，并在纳维-斯托克斯方程上取得突破；xAI联创宣称数学英雄时代终结。青少年AI科学教育计划的兴起，也预示科研人才培养向AI原生转型。
2026-09-05
AI驱动基础科学突破
AI在数学和材料科学领域取得重大进展：Claude完成费马大定理首个完整形式化证明，元代理架构AI将黎曼猜想推至理论边界99.55%，同时AI实现原子级自动化构建人造石墨烯，展现AI解决复杂科学问题的巨大潜力。
2026-07-28
AI for Science与科研新范式
GPT-5.6 Sol连续33小时攻关费马大定理，DeepMind、斯坦福等推动AI自主科研Agent进入生物医学与数学领域；厦大团队实现论文自动转可运行代码。科学发现正经历从"辅助工具"到"自主研究者"的关键范式跃迁。
2026-01-17
AI数学定理证明突破
Gemini内部数学模型首次在无联网条件下协助证明代数几何新定理，获陶哲轩等顶尖数学家高度评价，被视为AI迈向超级智能的关键里程碑，预示人机协同攻克数学奇点时代来临。
2025-08-21
GPT-5数学与科研突破
OpenAI GPT-5 Pro被曝独立证明新数学定理，读论文后给出更精确边界，总裁称出现“生命迹象”；同时GPT-5在SWE-bench Verified以74.9%得分宣称代码能力全球第一，虽被质疑“跳过难题”，仍预示模型向科研与推理密集型场景渗透，可能重塑学术与工业研发流程。
2025-07-19
顶尖模型数学推理突破
Gemini 2.5 Pro在IMO 2025大模型数学竞赛中以30%+总成绩遥遥领先，8B参数的Goedel-Prover-V2更击败671B模型重夺定理证明王座，显示小参数也能在形式化推理上实现越级打怪，数学成为检验大模型极限能力的“试金石”。
2025-06-07
数学与科学AI新工具
腾讯AI Lab与上海交大推出12.1万高难度数学题数据集，训练7B模型定理证明性能媲美Claude3.7；ICML 2025入选的CGFlow实现分子与合成路径协同设计，为AI驱动数学研究与新药发现提供强力工具。
2024-10-17
AI for Science与数学突破
陶哲轩领衔用AI在19天完成4694条定理蕴含图99.99%证明；扩散模型被重新定义为演化算法；GNNOpt、几何图学习等方法加速材料与酶工程研发，显示AI正在重塑基础科研范式，提升发现效率一个量级。
2024-10-13
AI数学推理突破
清华校友团队用LeanAgent系统成功证明162个高阶数学定理，攻克陶哲轩形式化难题；同时o1模型在复杂推理任务上再进化，显示大模型数学与逻辑能力正快速逼近甚至超越人类专家，为科研自动化打开新范式。
2024-08-18
数学大模型开源潮
DeepSeek开源专攻数学定理证明的大模型，刷新高中及大学级别基准SOTA，降低形式化数学门槛；同期亚马逊开源RAGChecker诊断工具，系统评估检索增强生成在数学问答中的事实忠实度，标志数学AI正从“做题”走向“证题”与“诊断”并行的新阶段。
2024-08-10
学术前沿与人才动态
CMU-清华LeanSTaR框架让LLM边思考边证明定理刷新miniF2F榜单，UCLA华人研究生联手MIT破解组合数学等差数列难题，吴恩达亲授Python AI新课降低入门门槛，顶级高校与在线教育平台持续为AI研究与应用输送新方法与人才。
2024-07-21
数学AI与竞赛生态
中国队IMO五连冠被美终结，陶哲轩为AI数学挑战团队颁奖并倡议打造“数学ImageNet”，预示AI在定理证明、自动解题等方向将复制ImageNet式突破，数学或成AI下一个竞技与数据高地。
2024-06-16
AI for Math与形式化证明
陶哲轩等顶尖数学家公开宣称AI将颠覆数学研究，Lean等形式化工具可一次性秒杀成百上千条定理，预示数学证明进入“半自动化”时代，为AI科学发现树立新范式。
2024-05-03
AI科学计算突破
谷歌SEEDS生成式天气预报登Science子刊，用AI集合预测替代昂贵物理模拟；数学家受陶哲轩启发用AI形式化费马大定理证明，展现生成式方法在气象与形式证明中的跨学科潜力。
2024-04-23
AI for Math与数学推理数据
陶哲轩发布AI数学资源清单，汇总OpenWebMath、Proof-Pile-2等高质量数据集，为训练专用数学大模型提供燃料，有望加速自动定理证明、科学计算与下一代科学大模型突破。