02:12
The Rundown AI@therundownai
The Rundown AI@therundownai精选72°
推荐理由：Axiom 的 AxiomProver 证明了 BGP246 定理，离孪生素数猜想很近。
Axiom
共 2 条相关 AI 资讯
8月19日
02:12
Axiom 发布了 AxiomProver 模型。该模型完成了 BGP246 定理的机器可验证形式化。BGP246 是素数间隙的最佳已知界限，接近孪生素数猜想。
6月4日
08:10
08:10
Latent.Space@latentspacepod
Latent.Space@latentspacepod精选72°
推荐理由：数学验证正在成为 AI 推理的下一个突破口，做代码智能体或形式化验证的开发者值得关注——这可能是从“生成”到“验证”的范式转变。