Anthropic未發布模型在黎曼猜想研究中取得進展

Anthropic披露，一款尚未發布的模型在黎曼猜想研究中取得進展，結果由公司內部數學家確認，並用開源證明助手 Lean 形式化。該模型由一名數學訓練背景不深的員工發起測試，經過約一天半的持續協作，測試了 650 種思路，並調用 60 個子代理分工處理。具體分工包括 2 個子代理負責提出關鍵數學思路，13 個子代理向關鍵思路補充想法，13 個子代理負責校驗推理正確性。隨著此類結果的增加，數學界對 AI 參與證明的討論也在升溫。OpenAI 近期公布了內部模型證明的 10 項重要數學結果，Anthropic 另一個項目還推翻了長期存在的 Jacobian 猜想。黎曼猜想至今仍未被證明，外界曾為其設立 100 萬美元獎金。

本內容僅供參考，不構成任何金融、投資、法律或稅務建議。文中提及的任何活動、獎勵、線上活動或相關資訊，不應被視為對購買、出售或交易任何加密資產的推薦、招攬或邀請。加密資產具有高波動性，存在價值損失風險。WEEX服務、產品及相關活動的可用性可能因地區而異。用戶在參與前有責任確保符合當地適用法律法規。