Show HN：我用 AI 解出一道悬置 12 年的数学题（已形式化，待同行评审）
Show HN: 我利用人工智能（AI）解出了一道悬而未决12年的数学题（已形式化；待审稿）[pdf]
阅读原文
本站未展示全文，请前往来源网站阅读。
AI 导读
一位开发者通过 Show HN 发布 PDF，称借助 AI 解出了一道悬置 12 年的数学题，并已完成形式化验证，目前等待同行评审。该结果尚未经审稿确认。
来源：raw.githubusercontent.com（经 Hacker News） · raw.githubusercontent.com