Axiom Math 让 AI 用机器可验证的代码写数学证明
精选理由
Axiom Math 团队做了个做高难数学题的 AI，证明直接写成代码让机器逐步验证，思路挺特别的，看看他们怎么做的。
Carina Hong 与 Axiom Math 团队打造了一个面向高难度数学的 AI 系统。它的核心做法是把证明输出成代码形式，让机器可以自动检验每一步推理是否成立。这相当于把数学老师要求的“写出步骤”变成了可程序化验证的格式，减少模型在证明题上“编造过程但答案错”的问题。
原文 · CoreWeave
Every math teacher has written "show your work" in red pen. @CarinaLHong turned it into an output format.
The @axiommathai team built an AI for really hard math that writes its proofs as code a machine can check. Watch Carina's story 👇 https://t.co/XdMjgWOCDH
