← AI 動態
The Decoder
Anthropic 的 Claude Mythos 解決了OpenAI 的 Erdős 問題
Anthropic 的 Claude Mythos 解決了 OpenAI 的 Erdős 問題，使用「可愛、簡單的證明」
AI
數學
Erdős 問題
近日，OpenAI 解決了著名的 Erdős 單位距離猜想，這是一個自 1946 年以來的開放問題。隨後，Anthropic 的工程師 Sholto Douglas 表示，Claude Mythos 也可以解決這個問題，並且使用了一個「可愛、簡單的證明」。這個結果表明，AI 驅動的數學發現具有「嚴重的過度」狀況。 Anthropic 的團隊使用了一個測試系統，該系統是為了測試 Erdős 問題 #1196 而建造的。這個系統可以讓 Claude Mythos 孤立地工作，然後總結和分發解決方案給其他實例。這個結果對於 AI 驅動的數學發現具有重要意義，表明 AI 可以解決複雜的數學問題，甚至可以找到簡單和優雅的解決方案。這個結果也激發了對 AI 在數學領域的潛在應用的關注和討論。