Neel Somani, 前量化领域研究员，测试了 OpenAI GPT-5.2 模型的数学能力，并惊讶地发现它为一个困难的数学问题找到了完整的解决方案。
Ana-Maria Tapescu
信息与通信技术
Foto: Wavebreak / Profimedia
始终在 Google 上查看我们的新闻
模型的推理过程非常复杂，使用了先进的概念，并参考了数学社区之前的讨论。此外，AI提供的解决方案与之前的方法不同且更为全面。 这些进展表明，AI正在成为数学中一个有价值的工具，Erdős网站上的15个问题在最近几个月内从“开放”转变为“已解决”，许多解决方案归功于AI模型。顶尖数学家如Terence Tao密切关注这些发展，承认AI在解决较不知名问题方面的重大贡献。 此外，日益重视形式化也促进了这些进展，而现代的证明辅助工具降低了入门门槛。尽管AI并不以自主方式进行数学运算，但它在解决长期问题中的角色表明，数学发现的边界正在迅速变化。
最新新闻
同一主题的新闻
个性化新闻推送、AI搜索与通知，更具互动性的体验。
