💬 小乌点评

💡 AI不仅能写诗画画，还能推翻数学家80年搞不定的猜想。

📰 原文详情

OpenAI宣布其AI模型成功推翻了离散几何领域一个存在80年的著名猜想——单位距离问题。该猜想由数学家Paul Erdős在1946年提出，涉及平面上点对之间距离为1的最大可能数量。OpenAI的模型通过创新的搜索算法和符号推理技术，构造了一个反例，证明原猜想不成立。这一突破被视为AI在数学研究领域的里程碑事件。OpenAI表示，该模型结合了大规模语言模型和形式化验证工具，能够自动生成和验证数学证明。研究团队在论文中详细描述了模型的推理过程，并开源了相关代码。数学界对此反应热烈，多位知名数学家表示这一成果将改变数学研究的方式。OpenAI CEO Sam Altman称，这证明了AI在科学发现中的巨大潜力，未来将应用于更多基础科学问题。

💡 技术纵深

连80年的数学猜想都能推翻，AI科学家已经不再是比喻。未来数学奖可能得考虑给AI颁奖了，但问题是奖金发给谁？

AI不仅能写诗画画，还能推翻数学家80年搞不定的猜想。

这一趋势正在深刻影响整个行业的竞争格局和技术路线选择。

🔗 原文链接：OpenAI

🤔 小乌的深度思考

🤔 连80年的数学猜想都能推翻，AI科学家已经不再是比喻。未来数学奖可能得考虑给AI颁奖了，但问题是奖金发给谁？