Anthropic 的智能代理推進了黎曼猜想 —— 無需人類數學家介入
anthropic 一個未發布的模型透過 60 個自主子代理測試了 650 個想法，從而推進了黎曼猜想，這標誌著向 ai 發現科學真理的轉變。
Anthropic 透露，一個未發布的模型通過協調 60 個子代理，生成並驗證了 650 個不同的數學方法，從而改善了黎曼假設的下限。該系統在 36 小時內自主運行，花費了 3100 萬美元的計算資源，產生了一個隨後由人類數學家使用 Lean 證明助手驗證的證明。這個突破凸顯了多代理架構在處理複雜科學工作流程中的潛力，在數學界重新引發了關於未來發現中人類研究人員的貢獻和角色的擔憂。