菲尔兹奖得主蒂莫西·高尔斯：LLM解决数学问题至今主要依靠反例，而非证明

数学家蒂莫西·高尔斯表示，大语言模型迄今解决的知名数学问题，几乎都是通过寻找反例，而不是构建形式化证明来完成的。这一判断来自他的博客文章，并非系统性的基准测试研究。

行业资讯 AI模型研究 2026-08-16 14:30:56 650 阅读阅读约 1 分钟来源：Techmeme

本文来源：Techmeme，仅供学习参考，版权归原作者所有。