/
原创证明 关键字列表
OpenAI宣称用AI推翻了一个困扰数学界近80年的猜想
OpenAI宣布，其新推理模型已给出原创数学证明，推翻了1946年由Paul Erdos提出的一个著名几何猜想。值得注意的是，七个月前OpenAI曾错误声称GPT-5解决了多个Erdos问题，实为找到已有文献中的现成答案。此次OpenAI吸取教训，发布声明时邀请了Noga Alon、Melanie Wood等数学家背书。OpenAI表示，这是"AI首次自主解决数学领域核心开放性问题"，标志着AI在长链推理与跨领域知识整合方面取得重要突破，对生物、物理、工程及医学领域均具深远意义。
白皮书
京公网安备 11010802021500号
