IXThinker·2025-12-02 14:40AI六小時證明懸置30年數學難題
一個被數學家擱置近30年的難題，被AI在6小時內證明。Harmonic的數學AI模型獨立完成Erdős問題#124的證明，消息在X上引發熱烈討論，頂尖數學家陶哲軒亦前來圍觀。
30年懸案告破
Erdős問題#124懸而未決近30年，如今由Harmonic開發的數學AI模型獨立證明。微軟前AI副總裁、現於OpenAI研究AGI的Sebastien Bubeck激動分享消息，並證實方案100%由AI生成，總計耗時6小時。
IXThinker 會員內容
呢篇係 Archive 內容。登入即可解鎖全文，仲有成個 15,000+ 篇、每日更新嘅 AI 動態資料庫。
免費登入／註冊解鎖全文 →Google 或電郵地址即可，即刻解鎖。