有人用 AI 花了 24 天，核对完数学史上最长的证明：1.5 万页、散落在 500 篇论文里，结论成立，但其中一篇的证法有漏洞，AI 换了一种证法给补上了… · @Edward913413 · TwKit

@Edward913413

有人用 AI 花了 24 天，核对完数学史上最长的证明：1.5 万页、散落在 500 篇论文里，结论成立，但其中一篇的证法有漏洞，AI 换了一种证法给补上了。 这事刷新我对 AI 的认知。我们天天拿它写文案、写代码，它最狠的地方其实是在人类啃不动的地方，替人把账算清楚、把漏洞找出来。 一个工具能不能成大事，看的是它被用在什么问题上，不是它平时显得多聪明。

曝光 64 · 评论 0 · 点赞 0 · 书签 0