RecodeX 重构消息，Axiom Math宣布其AxiomProver系统已完成Lean 4机器可验证证明，证实素数间隔的一个最强已知结论：存在无穷多对素数相差不超过246。该结果于2026年8月17日以交互式形式化蓝图为形式发布，署名包括41位数学、工程及首席研究员贡献者。246是目前该问题已知的最佳上界。