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 或邮件纠错。