Anthropic员工用Claude Fable 5证伪Jacobian猜想
Anthropic员工利用Claude Fable 5证伪了困扰数学界近90年的Jacobian猜想，该过程发生在他观看世界杯期间。
此事件凸显前沿AI在纯数学领域的突破潜力，Claude在形式化推理与证明生成上展现能力。
数学研究者与AI实验室受益于工具加速发现，传统学术界短期承压于方法论转变；资本加速向AI辅助证明与科学计算基础设施投入，事件驱动下数学与理论科学从人工密集转向AI协同，加速未解问题解决进程。
来源：公开信息
ABAB AI 解读
Anthropic此前在Claude系列中重点投入宪法AI与长上下文推理，曾多次展示模型在复杂逻辑与代码任务上的进展，为科学应用铺路。
资本路径上，Anthropic通过内部员工使用场景验证模型能力，战略动机在于拓展从消费到科研的高端用例，吸引学术与企业研发预算。
类似AlphaProof在IMO数学竞赛中的表现，以及早期AI辅助蛋白质折叠突破，AI当前处于从工程应用向基础科学证明渗透的早期突破阶段。
本质属于技术替代：AI形式化推理替代人工长期验证，机制在于计算规模与训练数据支撑复杂猜想探索，驱动资本从传统数学人力向AI增强发现平台集中，改变科学发现范式速度与成本。
ABAB News · 认知定律
AI证伪90年难题，只需一杯咖啡时间。
工具越强，未解问题寿命越短。
数学前沿，从人工到AI协同。