Axiom用形式验证阻挡数学AI垃圾

Axiom Math的AI智能体完成Stacks Project形式化验证，试图为机器生成证明建立可信底座。

推荐理由：关键进展不是再生成一批数学证明，而是让智能体形式化验证大型数学知识库；若验证结果可靠，可把AI数学研究从概率性输出推进到机器可检查的可信生产流程。