2026-08-04
AI数学推理与科学研究
OpenAI内部模型Astra宣称攻克10项长期悬而未决的数学难题，引发学界震动与激烈争议，Anthropic迅速质疑其可复现性。同时AI在分子活性预测、甲骨文释读、代码漏洞挖掘等科研领域展现潜力，标志着大模型正向基础科学纵深渗透。
2024-06-16
AI for Math与形式化证明
陶哲轩等顶尖数学家公开宣称AI将颠覆数学研究，Lean等形式化工具可一次性秒杀成百上千条定理，预示数学证明进入“半自动化”时代，为AI科学发现树立新范式。