米Metaの最先端研究組織であるMeta Superintelligence Labs（MSL）は、高度数学推論AI「Muse Spark 1.1 / 1.2」と人間の数学者チームによる共同研究の成果として、未解決難問5件の解決を含む6本の査読前論文を一挙に発表しました。
解決された問題には、偏微分方程式論における重要課題である非線形シュレディンガー方程式（NLS）の解の爆発ギャップの解消や、高次元確率論におけるガウス点と楕円体の配置問題、非結合代数や最適化理論の未解決予想が含まれます。AIが自律的に全証明を完結させたわけではなく、人間の数学者が「meta.ai」の通常の対話チャットを通じてMuse Sparkと議論を重ね、着想の探索、候補論述の立案、数式ドラフトの作成を行い、最終的な厳密証明と検証を人間が完結させるという協調体制がとられました。
特殊な定理証明支援系（Leanなど）や複雑な自律エージェント足場を介さず、自然言語チャットの対話から研究水準のブレークスルーを生み出した点は極めて画期的です。
知能が「計算機の道具」から「未知の知を共に切り拓く共同研究者」へと昇華したことを鮮やかに示す歴史的マイルストーンとなります（一次ソース：Meta AI Research Announcements / arXiv Mathematical Research Papers）。