⌘ K
… 读取采集状态 同步中...
雷
原文
X:Greg Brockman (@gdb)·· 25 天前AI 评分1

我用 AI 和 Lean 得出 Conway 精细化猜想的证明:一个月完整复盘

AI 导读

作者 m-hodges 自称用约一个月业余时间和约 400 亿 token(约 95% 为缓存读取,ChatGPT 估算 API 成本约 4 万美元),得出 Conway 50 年前提出的 omnific 整数精细化猜想的 Lean 证明,该证明已通过 Palomar 注册表的机械检查,但尚未经数学家独立验证。

本文当前提供导读和图片预览,完整图文请查看原文。

来源:X:Greg Brockman (@gdb) · overreacted.io