#Axiom

共 2 条 · 7 天 0 条 · 30 天 0 条

AxiomProver 1 BGP246 1 推理模型 1 数学 1

信息流里打上「Axiom」标签的资讯、产品与论文，按刊登时间排，新的在上。

8月19日

模型精选72°02:12

AxiomProver 完成 BGP246 定理形式化

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

#Axiom #AxiomProver #BGP246 #推理模型

The Rundown AI@therundownai原文

6月4日

模型精选72°08:10

Axiom CEO：数学是代码智能体通往AGI的缺失路径

数学验证正在成为 AI 推理的下一个突破口，做代码智能体或形式化验证的开发者值得关注——这可能是从“生成”到“验证”的范式转变。

#Axiom #数学验证 #AGI #形式化证明

Latent.Space@latentspacepod原文