GPT 5.6とClaude Fable 5が25年越しの数学課題を解決
Microsoftの研究者Papailiopoulos氏は、GPT 5.6とClaude Fable 5を活用し、MIMO検出に関する25年来の未解決問題を解決する数学的証明を完成させました。今回の研究では、多項式時間アルゴリズムによって最大尤度閾値に正確に到達できることを示しています。従来のMIMO検出は指数時間の総当たり探索が必要でしたが、LMMSE丸め処理と貪欲なビット反転を組み合わせた2段階アルゴリズムにより、O(N³)の計算量で全ビットを正確に復元できることを証明しました。AIモデル同士の推論と修正を通じ、7日間で検証可能な証明を完成させた点も注目されています。