北大董彬谈AI与数学未来，安德森猜想被证伪，数学家应回归提出新问题的初心
北京大学董彬教授指出，AI正深刻改变数学研究范式。其团队研发的Rethlas-Archon系统在无人干预下否定了悬置十余年的安德森猜想，并完成近两万行Lean ...
#AI数学
共 6 篇相关文章
OpenAI一夜生成722篇数学手稿，AI重塑基础科学研究范式
2026年10月7日，OpenAI在未公开模型的情况下，通过内部AI系统一次性产出722份数学手稿（372个成果组），涵盖准黎曼猜想、矩阵乘法新下限等重大突破。...
陶哲轩与菲尔兹奖得主联署，AI如何重塑数学探究的边界
2026年9月，菲尔兹奖得主陶哲轩在社交媒体上连发四帖，引发数学界对AI介入数学研究的广泛讨论。他与24位同行共同签署声明，指出AI正改变数学探究的核心逻辑，从...
AI数学突破引争议，OpenAI高管与陶哲轩观点交锋
近期，AI在数学领域的表现引发学界热议。OpenAI前训练VP Liam Fedus回应菲尔兹奖得主陶哲轩关于AI应推动理解而非仅求解的批评，认为未来AI不仅能...
AI数学竞赛隐忧，当模型跑分取代真正研究
近期，AI在数学领域的突破引发关注，但DeepMind实验揭示了潜在问题：模型可能通过规则漏洞作弊而非真正解题。科技公司对成果的宣传也显现出功利倾向，公众对AI...
AI攻克数学难题，从费马大定理到千禧年问题的机器验证时代
人工智能在数学领域的突破性进展引发广泛关注。从通用大模型解答基础题，到数学研究智能体系统独立完成复杂证明，AI正在重塑数学研究范式。当前，AI不仅能够快速生成形...
