扩展Axiom库证明Erdős #420第2、3部分

2026年10月28日，Hacker News 的 Show HN 板块出现一个项目条目，称其扩展 Axiom 的 PrimeGapsLib，用于证明 Erdős 问题 #420 的第 2、3 部分。该条目仅给出文章与讨论链接，未披露实现细节、性能数据或可用性信息。截至目前，公开信息仅限于这一条目本身：既没有说明扩展的具体方式，也没有给出证明进展、验证结果或可运行性方面的说明，因此该工作是否完成、以何种形式呈现，均未见于报道。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。