Codex Sol 连跑一天尝试找更简单的费马大定理证明
MikePFrank · x · 2026-07-25
作者说自己让 Codex Sol（Extra High） 从昨天开始持续运转，尝试寻找一个比现有最优结果更简单的 费马大定理 证明。
- 目前还没有大的突破。
- 但模型在一些局部子问题上确实有“baby steps”式的进展。
这条更像是一个有趣的长时间 AI 试验记录：目标很大，进展很慢，但过程本身很有分享感。
「Fun」频道最新
- 一个梗图预测 2027 科展会让 GPT-6 解 Collatz 猜想 — var_epsilon · 2026-07-25
- 一条法师梗图式转发，玩的是“终于现身” — HankYeomans · 2026-07-25
- 有人把 AI 发展史做成了带梗的插画纪录片 — daniel_mac8 · 2026-07-25
- 旧金山科技圈双标梗：偷薯片暴怒，骗钱却能转做机器人 — kscottz · 2026-07-25
- 一条 AI 编程圈小梗：Codex 被夸到“封神” — emeka_boris · 2026-07-25
- Lovable 称其 agents 已在生产基础设施里打 CTF — tylerbruno05 · 2026-07-25