AI苦战33小时证费马大定理遭OpenAI强行阻断

开发者尝试让AI Agent寻找费马大定理的简化证明。在模型连续运行约33个小时后，触发了OpenAI的安全机制，目标被系统强行阻断。实验负责人随后发文确认，该搜索任务在多次被系统“杀掉”后被迫停止，最终未能达成证明目标，仅生成并留下了一份实验收尾报告。

2026-07-25 ~ 2026-07-26 · 2 条相关

• AI苦战33小时证费马大定理，遭OpenAI强行阻断 — MikePFrank · 2026-07-25
• 费马证明搜索跑了 33 小时后被停，最后只留下了一份报告 — MikePFrank · 2026-07-26