BGP246

推荐理由：Axiom 的 AxiomProver 证明了 BGP246 定理，离孪生素数猜想很近。