2026-09-05
AI驱动基础科学突破
AI在数学和材料科学领域取得重大进展：Claude完成费马大定理首个完整形式化证明，元代理架构AI将黎曼猜想推至理论边界99.55%，同时AI实现原子级自动化构建人造石墨烯，展现AI解决复杂科学问题的巨大潜力。
2026-08-04
AI数学推理与科学研究
OpenAI内部模型Astra宣称攻克10项长期悬而未决的数学难题，引发学界震动与激烈争议，Anthropic迅速质疑其可复现性。同时AI在分子活性预测、甲骨文释读、代码漏洞挖掘等科研领域展现潜力，标志着大模型正向基础科学纵深渗透。
2024-06-16
AI for Math与形式化证明
陶哲轩等顶尖数学家公开宣称AI将颠覆数学研究，Lean等形式化工具可一次性秒杀成百上千条定理，预示数学证明进入“半自动化”时代，为AI科学发现树立新范式。