2025-08-04
数学推理突破成焦点
谷歌Gemini 2.5 Deep Think获IMO金牌，字节Seed-Prover、清华校友提示词工程亦攻克IMO 2025，显示大模型在形式化数学推理赛道已逼近人类顶尖水平，为科研自动化与教育个性化打开新空间。
2025-06-22
AGI技术路线收敛
OpenAI前研究主管宣称AGI拼图已齐，关键不再是参数规模而是推理与价值转化；陶哲轩亦强调AI形式化验证与数学统一，预示行业正从“堆算力”转向“可证明推理”新范式。
2024-06-16
AI for Math与形式化证明
陶哲轩等顶尖数学家公开宣称AI将颠覆数学研究，Lean等形式化工具可一次性秒杀成百上千条定理，预示数学证明进入“半自动化”时代，为AI科学发现树立新范式。
2024-04-09
AI颠覆数学研究范式
菲尔兹奖得主陶哲轩等领衔的《美国数学学会通报》特刊集中发表11篇论文，系统展示大模型在猜想生成、证明辅助与形式化验证中的突破性应用，预示AI将重塑数学发现与验证流程。