❌ OpenAI GPT-5 解决数学难题声明遭澄清，引发业界争议

OpenAI 经理 Kevin Weil 此前声称其 GPT-5 模型解决了 10 个未解决的 Erdős 数学问题。然而，Erdős 问题网站运营者、数学家 Thomas Bloom 随后澄清，这些问题仅是他个人不知道答案，并非真正意义上的未解决难题。此事引发了业界关注，Deepmind CEO Demis Hassabis 称其“令人尴尬”，Meta AI CEO Yann LeCun 则指出 OpenAI 被其自身的 AI 叙事所蒙蔽。OpenAI 研究员随后删除了相关推文。著名数学家陶哲轩对此表示，AI 在数学领域的最大潜力并非解决棘手难题，而是加速文献检索，从而节省数学家的时间。

(科技情报)

via 茶馆 - Telegram Channel

程序员福利！GitHub最火的Spec Kit项目深度解析：只需7条命令就能实现规格驱动开发，告别繁琐的PRD文档，让规范直接生成代码！支持Claude Cod

via 掘金人工智能本月最热 (author: win4r)

Telegraph

程序员福利！GitHub最火的Spec Kit项目深度解析：只需7条命令就能实现规格驱动开发，告别繁琐的PRD文档，让规…

做过项目的都懂：代码永远跑在文档前面，PRD 写得再漂亮，落到实现又是另一回事；改需求时，设计、代码、测试全要跟着手工同步，慢、易错、沟通成本高。Spec Kit 提出的 SDD（Spec-Driven Development，规格驱动开发） ，就是把这套逻辑彻底反过来：让“规格=一等公民”，代码只是规格的表达。他们在文档里把这种“权力反转”讲得很直白：过去是“代码为王”，现在是“代码服务规格”，规格足够精确时，它可以直接生成计划与实现，减少意图与落地之间的鸿沟。维护软件的主战场也随之上移：迭代规格，而不是到处打补丁改实现。…

GPT-5 并不能证明未解决的数学问题

2025-10-19 22:25 by 王朝启示录

OpenAI 经理 Kevin Weil 声称 GPT-5 模型找到了 10 个未解决 Erdős 问题的解决方案。运营 Erdős 问题网站 erdosproblems.com 的数学家 Thomas Bloom 随后澄清，所谓未解决 Erdős 问题只是他不知道答案，并不是真的未解决。Deepmind CEO Demis Hassabis 表示此事令人尴尬。Meta AI CEO Yann LeCun 则指出 OpenAI 被自己的 AI 叙事给蒙蔽了。OpenAI 研究员之后删除了相关推文。数学家陶哲轩称，AI 在数学领域的最大潜力不是去解决棘手的难题，而是加速相关文献的检索，节省数学家的时间。

https://the-decoder.com/leading-openai-researcher-announced-a-gpt-5-math-breakthrough-that-never-happened/

#数学

via Solidot - Telegram Channel