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協同。