Neel Somani, 前量化领域研究员，测试了 OpenAI GPT-5.2 模型的数学能力，并惊讶地发现它为一个困难的数学问题找到了完整的解决方案。
Ana-Maria Tapescu
信息与通信技术
Foto: Wavebreak / Profimedia
始终在 Google 上查看我们的新闻
模型的推理过程非常复杂，使用了先进的概念，并参考了数学社区之前的讨论。此外，AI提供的解决方案与之前的方法不同且更为全面。 这些进展表明，AI正在成为数学中一个有价值的工具，Erdős网站上的15个问题在最近几个月内从“开放”转变为“已解决”，许多解决方案归功于AI模型。顶尖数学家如Terence Tao密切关注这些发展，承认AI在解决较不知名问题方面的重大贡献。 此外，日益重视形式化也促进了这些进展，而现代的证明辅助工具降低了入门门槛。尽管AI并不以自主方式进行数学运算，但它在解决长期问题中的角色表明，数学发现的边界正在迅速变化。
最新新闻
23:01
财政部：罗马尼亚还将通过PNRR获得64.3亿欧元。预计欧盟委员会将在11月20日前作出决定
22:57
约6,800名未成年人因学校抗议活动在法国被拘留 / 律师指控执法力量可能存在滥权行为
22:53
Franța și Germania propun relaxarea țintei de emisii pentru mașinile noi din 2035 în schimbul unor reguli favorabile producției europene
22:50
欧盟委员会将组建反人口贩运欧洲企业联盟
22:43
东南部和西南奥尔泰尼亚分别有38%和36%的人口面临贫困或社会排斥风险
查看更多新闻
同一主题的新闻
信息与通信技术
OpenAI警告：人工智能网络攻击正成为一种危险的现实
个性化新闻推送、AI搜索与通知，更具互动性的体验。
.webp)
