02:12
The Rundown AI@therundownai
The Rundown AI@therundownai精选72°
推荐理由：Axiom 的 AxiomProver 证明了 BGP246 定理，离孪生素数猜想很近。
AxiomProver
共 1 条相关 AI 资讯
8月19日
02:12
Axiom 发布了 AxiomProver 模型。该模型完成了 BGP246 定理的机器可验证形式化。BGP246 是素数间隙的最佳已知界限，接近孪生素数猜想。
The Rundown AI@therundownai