OpenAI发布700余篇AI数学手稿，宣称攻克数百未解难题

封面为AI生成的主题示意图，非新闻现场照片。

近日，OpenAI宣布已发布超过700篇涉及复杂数学证明研究的AI手稿，并宣称利用人工智能技术攻破了数百个长期以来未能解决的数学难题。

这些手稿涵盖了从数论到几何等多个数学分支，展示了AI在解决高难度学术问题上的进展潜力。

相关成果旨在推动人机协作在基础科学领域的探索，为未来数学研究提供新的工具与思路。

OpenAI表示将继续深化人工智能在逻辑推理与证明生成方面的研究能力，致力于拓展科技边界。