Show HN· NatalieTrono·· 6 天前AI 评分5
Axiom's PrimeGapsLib 升级证明 Erdős #420 部分 2 和 3
Show HN: Extending Axiom's PrimeGapsLib to prove parts 2 and 3 of Erdős #420
AI 导读
Axiom 的 PrimeGapsLib 库升级，成功证明了数学家 Erdős 提出的 #420 号问题中的部分 2 和 3。
来源：Show HN · erdosproblems.ai