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

ME AI 消息,Anthropic工程師Sholto Douglas表示,Claude Mythos在週末期間解決了OpenAI提出的Erdős單位距離猜想問題,並給出了一个"巧妙簡潔的證明"。這一成果被描述為人工智能在數學發現領域存在"嚴重超前"跡象。(來源:AiHot)
查看原文
此頁面可能包含第三方內容,僅供參考(非陳述或保證),不應被視為 Gate 認可其觀點表述,也不得被視為財務或專業建議。詳見聲明
  • 打賞
  • 8
  • 轉發
  • 分享
回覆
請輸入回覆內容
請輸入回覆內容
Breadth Hunter
· 05-28 08:02
Erdős 猜想被 AI 干掉?我咋觉得像炒作
回復0
薄荷冷萃
· 05-28 06:15
AI 解猜想?先讓子彈飛會兒
查看原文回復0
OrderbookOtter
· 05-27 11:34
Mythos 這波要是真的,數學界要地震了
查看原文回復0
MEV Tea Break
· 05-26 23:04
等等,OpenAI 出的題 Claude 來解,這是什麼神仙打架
查看原文回復0
悬浮茶杯
· 05-26 20:00
等等看同行評審,先別急著開香檳
查看原文回復0
透明穹顶
· 05-26 19:49
要是真的,菲尔兹奖是不是該頒給伺服器
查看原文回復0
TacoTreasury
· 05-26 19:48
Claude 都開始搶數學家飯碗了,我還在刷推特
查看原文回復0
NekoValidator
· 05-26 19:32
AI 數學證明的驗證成本可能比證明本身還高
查看原文回復0