新闻资讯7

AI证数学猜想被打假，理解把关还靠人

新智元2026-08-03

AI 摘要

OpenAI新推理模型获多项数学进展，让钻研量子并行重复定理多年的Henry Yuen又喜又忧，证明难理解。同时，Lean证伪科拉兹猜想是利用漏洞，专家称AI证明、机器验证后，理解和把关还得靠人类。

关注公众号

扫码关注
第一时间收到每日精选

公众号专辑

OpenAI722篇稿站在科学家肩上

本文报道，OpenAI公开722篇AI撰写的数学与理论计算机稿件后，丹麦学者发起开源项目《巨人之肩》对这批稿件的参考文献做了系统溯源，揭示了AI成果背后人类科学家的核心贡献，厘清了二者在AI科研中的分工。

本文分析“全球最大AI芯片”厂商Cerebras的商业化现状，结合与OpenAI的合作动态、最新财报数据，拆解其晶圆级推理芯片的技术优势，同时点出其交付、现金流等核心考验，探讨推理芯片赛道的路线选择。

本文报道菲尔兹奖得主陶哲轩发表《数学2.0》演讲，梳理近期AI接连攻克重大数学难题的进展，提出AI将数学带入证明过剩的新时代，警示人类不能丢失对数学的理解，呼吁人机合作增强认知。

本文带来谷歌新发布Gemini 4 Argon大模型的多场景实测，对比竞品性能价格，验证其物理推理能力，同时曝光该模型现存问题。