费马证明搜索跑了 33 小时后被停，最后只留下了一份报告

MikePFrank · x · 2026-07-26

Mike P. Frank 发了一条实验收尾帖：在 OpenAI 把这个任务“杀掉”了几次之后，搜索被停止，最终改成写报告。

被引用的上下文说明，这套系统曾连续跑了 33 个小时，试图寻找费马大定理的一个简化证明，虽然没有成功，但仍留下了不少关于“什么方法不行”的经验，以及一些零碎发现。回复里还提到，模型一边搜索一边自言自语的评论非常离谱，因为相关数学远超读者理解范围。