AI会找反例，还没证明自己
菲尔兹奖得主蒂莫西·高尔斯在 8 月 12 日写了一篇很克制的文章。他没有宣布大模型已经征服数学，也没有说大模型只会装饰门面，而是提出一个观察：OpenAI 宣布解决的十个数学与理论计算机难题里，最引人注目的成果几乎都落在反例或构造上，而不是人们通常称为重磅定理的那类证明。这个差别比「AI 能不能做...
推理
1 篇文章
1 篇文章
菲尔兹奖得主蒂莫西·高尔斯在 8 月 12 日写了一篇很克制的文章。他没有宣布大模型已经征服数学，也没有说大模型只会装饰门面，而是提出一个观察：OpenAI 宣布解决的十个数学与理论计算机难题里，最引人注目的成果几乎都落在反例或构造上，而不是人们通常称为重磅定理的那类证明。这个差别比「AI 能不能做...