开发者用 Claude 模型刷新素数谜题站多项纪录

1. 06:38
   GitHub · 去对齐工具与仓库精选

   basvandorst 用 LLM 推理刷新 Carlos Rivera 素数谜题站多项纪录

   作者 basvandorst 公开 GitHub 仓库 praime，用 LLM 推理挑战 Carlos Rivera 素数谜题站自 1999 年积累的 1200 多道素数难题，截至 2026 年 11 月打破 39 项纪录、解决 62 道谜题和 14 个猜想。工作始于 Claude Fable 5.1（medium effort，完成约一半结果），额度用尽后由 Claude Opus 5.5（high effort）完成其余部分；模型卡住时「让它更努力思考」和「追问其他解法为何成立」两种做法有效。仓库含 CLAUDE.md 指令、IDEAS.txt、FINDINGS.txt、FACTS.md（200 条素数事实）及 writeup/ 目录，并邀请通过 PR 或邮件纠错。

趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。