AI圈报观点 / 方法普通
我用 AI 和 Lean 得出 Conway 精细化猜想的证明：一个月完整复盘
原始标题：我推导出了康威猜想的一个证明
内容摘要
作者 m-hodges 自称用约一个月业余时间和约 400 亿 token（约 95% 为缓存读取，ChatGPT 估算 API 成本约 4 万美元），得出 Conway 50 年前提出的 omnific 整数精细化猜想的 Lean 证明，该证明已通过 Palomar 注册表的机械检查，但尚未经数学家独立验证。
内容分类AI 观点与方法
内容层级普通情报
发布时间（北京时间）
本站收录时间（北京时间）
信息来源Hacker News 热门（buzzing.cc 中文翻译）
站内情报编号intel-12e77dfc85fe755a433e91be