Carina Hong 的愿景并非仅仅打造一个能解数学题的AI，而是要创造一位“AI数学家”——一个能够推理已有问题、发现新问题，并用形式化证明验证自己工作的智能系统。 在Axiom Math，Ono 遇…...
)
