Neel Somani, 前量化领域研究员，测试了 OpenAI GPT-5.2 模型的数学能力，并惊讶地发现它为一个困难的数学问题找到了完整的解决方案。
Ana-Maria Tapescu
信息与通信技术
Foto: Wavebreak / Profimedia
始终在 Google 上查看我们的新闻
模型的推理过程非常复杂，使用了先进的概念，并参考了数学社区之前的讨论。此外，AI提供的解决方案与之前的方法不同且更为全面。 这些进展表明，AI正在成为数学中一个有价值的工具，Erdős网站上的15个问题在最近几个月内从“开放”转变为“已解决”，许多解决方案归功于AI模型。顶尖数学家如Terence Tao密切关注这些发展，承认AI在解决较不知名问题方面的重大贡献。 此外，日益重视形式化也促进了这些进展，而现代的证明辅助工具降低了入门门槛。尽管AI并不以自主方式进行数学运算，但它在解决长期问题中的角色表明，数学发现的边界正在迅速变化。
最新新闻
16:50
Nicușor Dan 警告称，选举容易受到网络操纵、虚假账户和人工智能生成内容的影响
16:48
欧洲检察官办公室调查用于改造马德里—塞维利亚铁路的欧盟资金可能遭到欺诈使用
16:48
在特内里费对阵安道尔足球俱乐部的比赛中发生致命碰撞后，Jesus Owono或面临最长12场停赛
16:45
Comisia include România printre cele 15 state UE expuse riscului de presiune migratorie în 2027
16:38
尼科尔·帕希尼扬宣布，尽管与俄罗斯关系紧张，亚美尼亚将在2028年前申请加入欧盟
查看更多新闻
同一主题的新闻
信息与通信技术
OpenAI警告：人工智能网络攻击正成为一种危险的现实
个性化新闻推送、AI搜索与通知，更具互动性的体验。
