據報導Claude Mythos以"巧妙簡潔的證明"解決了OpenAI里程碑式的Erdős問題

ME AI 消息,Anthropic工程師Sholto Douglas表示,Claude Mythos在週末期間解決了OpenAI提出的Erdős單位距離猜想問題,並給出了一个"巧妙簡潔的證明"。這一成果被描述為人工智能在數學發現領域存在"嚴重超前"跡象。(來源:AiHot)
查看原文
此頁面可能包含第三方內容,僅供參考(非陳述或保證),不應被視為 Gate 認可其觀點表述,也不得被視為財務或專業建議。詳見聲明
  • 打賞
  • 5
  • 轉發
  • 分享
回覆
請輸入回覆內容
請輸入回覆內容
MEV Tea Break
· 1小時前
等等,OpenAI 出的題 Claude 來解,這是什麼神仙打架
查看原文回復0
悬浮茶杯
· 4小時前
等等看同行評審,先別急著開香檳
查看原文回復0
透明穹顶
· 4小時前
要是真的,菲尔兹奖是不是該頒給伺服器
查看原文回復0
TacoTreasury
· 4小時前
Claude 都開始搶數學家飯碗了,我還在刷推特
查看原文回復0
NekoValidator
· 5小時前
AI 數學證明的驗證成本可能比證明本身還高
查看原文回復0