2025-10-19
AI数学科研范式革命
GPT-5周末内破解10道埃尔德什百年难题，印证陶哲轩“AI将接管文献与验证”预言，标志数学研究从人脑猜想步入人机共创新范式，基础科学发现速度或指数级提升。
2025-10-04
AI 自生成科研内容
AI 系统在 17 小时内自主完成 30 页学术论文，从选题、实验到 APA 格式排版全程无人干预；陶哲轩用 GPT-5 仅写 29 行 Python 即解决数学难题。自生成科研内容的出现，既展示了模型推理与写作能力的飞跃，也引发对学术诚信与同行评审机制的深层讨论。
2025-06-01
AI数学协作连破纪录
DeepMind AlphaEvolve与陶哲轩等顶尖数学家一周内两次刷新18年未破的数学极值纪录，并同步开源形式化习题集，验证“AI广度扫描+人类深度优化”的协作模式，预示AI4Science进入加速期。
2024-09-16
OpenAI o1引爆AGI下半场
OpenAI发布自我对弈强化学习模型o1，被视作AGI下半场的起点。陶哲轩等顶尖学者实测称其已达“平庸研究生”水平，推理能力显著跃升；同时o1成为OpenAI 1500亿美元估值的关键支撑，并可能推动公司彻底转向营利结构，强化学习成为新的Scaling Law。
2024-07-21
数学AI与竞赛生态
中国队IMO五连冠被美终结，陶哲轩为AI数学挑战团队颁奖并倡议打造“数学ImageNet”，预示AI在定理证明、自动解题等方向将复制ImageNet式突破，数学或成AI下一个竞技与数据高地。
2024-06-16
AI for Math与形式化证明
陶哲轩等顶尖数学家公开宣称AI将颠覆数学研究，Lean等形式化工具可一次性秒杀成百上千条定理，预示数学证明进入“半自动化”时代，为AI科学发现树立新范式。
2024-05-02
美国AI「登月」科学计划
陶哲轩领衔发布62页报告，为美国拟定AI驱动的基础科学「登月计划」，系统评估AI在半导体、超导体、宇宙物理及生命科学中的颠覆潜力，标志国家级AI科研战略升级。
2024-04-23
AI for Math与数学推理数据
陶哲轩发布AI数学资源清单，汇总OpenWebMath、Proof-Pile-2等高质量数据集，为训练专用数学大模型提供燃料，有望加速自动定理证明、科学计算与下一代科学大模型突破。
2024-04-09
AI颠覆数学研究范式
菲尔兹奖得主陶哲轩等领衔的《美国数学学会通报》特刊集中发表11篇论文，系统展示大模型在猜想生成、证明辅助与形式化验证中的突破性应用，预示AI将重塑数学发现与验证流程。