AIが30分で20年来の未解決問題を解決、検証には5日間

マイクロソフトリサーチの科学者であるDimitris Papailiopoulos氏は、GPT-5.6とClaude Fable 5を用いて、2001年から未解決だった疑問を解決しました。それは、MIMO検出問題が、統計的に可能な範囲であればどこでも高速な多項式アルゴリズムによって解けるかどうかというものです。両モデルは、ギャップは存在しないと独立に主張し、それぞれ異なるアルゴリズムに対する証明を提供しました。Papailiopoulos氏はClaude Fableのアルゴリズム（粗い線形推定と丸めに続いて貪欲なビット反転を行うもの）を選び、GPTにその証明の修正を依頼しました。その証明は「ほとんど間違っていたが、修正可能だった」とされます。その後、彼は5日間を費やし、両モデルと対話しながら議論を検証可能な形に単純化し、たとえ定数が悪くなっても自分が追えないステップはすべて拒否しました。最終的な証明は初歩的で、2010年代の既知の技法に基づいています。ただし、この結果はまだ査読を受けておらず、理想化されたチャネルモデルを前提としているため、実際のルーターの改善にはつながりません。Papailiopoulos氏はまた、モデルが人間の集合的な直感を蒸留している可能性があり、多くの放棄された問題が同様の解決を待っていると示唆しています。