AI 代理连续跑一天，试图寻找更简单的费马大定理证明
MikePFrank · x · 2026-07-25
有人在观察一个 AI 代理一边执行任务、一边给自己写注释，觉得它讨论数学的方式已经远超自己的理解范围，因此产生了荒诞的喜感。
上下文里，这个代理是 Codex Sol（Extra High），从前一天开始持续运行，目标是尝试找到一个比现代最优结果更简单的费马大定理证明。发帖者说它还没有重大突破，但已经在一些子问题上取得了小进展。
所属事件:AI代理长跑尝试简化费马大定理证明(2 条相关)→
「Fun」频道最新
- “Opus 5” 在 Minecraft 里首次生成出一座巨型桥梁 — Aizkmusic · 2026-07-25
- 独立开发者梗：一个有 bug 的 PHP 脚本能让你忙到天亮 — ThePeterMick · 2026-07-25
- 梗图调侃 Jensen Huang 被 OpenAI 自研芯片“背刺” — XFreeze · 2026-07-25
- 机器人抢饭碗引担忧，开发者玩梗反讽“卢德谬误” — csuwildcat · 2026-07-25
- 有人拿 OpenAI 转录公开问题开起了梗 — ctjlewis · 2026-07-25
- Mollick 说 Opus 5 整体强于 Opus 4.8，但仍有怪语言癖 — emollick · 2026-07-25