Anthropic未發布模型在黎曼猜想上取得進展
0
Anthropic揭露，一款尚未發布的模型在黎曼猜想研究中取得進展。 該結果由公司內部數學家確認，並以開源證明助手 Lean 形式化。
模型由一名數學訓練背景不深的員工發起測試，隨後在約一天半時間裡持續協作。 Anthropic稱，這個過程共測試了 650 種思路，並呼叫 60 個子代理分工處理。
- 2 個子代理負責提出關鍵數學思路
- 13 個子代理向關鍵思路補充想法
- 13 個子代理負責校驗推理正確性
這類結果正在增加。 OpenAI 近期也公佈了內部模型證明的 10 項重要數學結果，Anthropic 另一個計畫先前也推翻了長期存在的 Jacobian 猜想。 隨著成果增多，數學界對 AI 參與證明的討論也升溫。
黎曼猜想至今仍未被證明，外界曾為其設立 100 萬美元獎金。
來源:
登入回覆
登入分享您的看法評論
相關文章