OpenAI が数学の重要未解決問題10個を解いたという論文を公表しました．4番が作用素環の問題，3番も作用素環に関係の深い離散群論の問題です．いずれも(数学の最高峰ジャーナルである) Annals に載るレベルの結果と思われます． (8/1/2026)