Axiom Math 致力于将 AI 生成的劣质内容拒于数学领域之外

AI正在批量制造数学垃圾？OpenAI单月狂发719篇论文，但连机器校验都在失灵。估值16亿美元的AxiomMath给出硬核解法：用AI智能体将7654页Stacks Project转化为1600万行Lean验证代码，彻底填补代数几何的形式化黑洞。当别人还在卷“氛围编程”，他们已用自研模型让AI自主习得数学品味并并行协作。这不是学术游戏，而是为未来AI写代码、做科研浇筑不可篡改的底层地基。认知差就在这里：谁掌握验证基础设施，谁就扼住AI进化的咽喉。