#Axiom Math

共 1 条 · 7 天 1 条 · 30 天 1 条

定理证明 1 推理模型 1 数学推理 1

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

10月21日

产品 Agent 与开发者03:17

Axiom Math 让 AI 用机器可验证的代码写数学证明

Axiom Math 团队做了个做高难数学题的 AI，证明直接写成代码让机器逐步验证，思路挺特别的，看看他们怎么做的。

#Axiom Math #数学推理 #定理证明 #推理模型

CoreWeave@CoreWeave原文