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

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 在数学领域的最大潜力不是去解决棘手的难题，而是加速相关文献的检索，节省数学家的时间。