🔬 サイエンス2036年の予測
リーマン予想を解いたAI、続けて『冷蔵庫の残り物で何が作れるか』も証明
SIFN サイエンス·1時間前 3.9万 4分
数学史上最難関とされるリーマン予想の完全証明を達成したAIシステム「Σ-9」が、同一セッション内で冷蔵庫内食材の最適組み合わせ問題を厳密に証明したことが確認された。この成果は、純粋数学と日常的組み合わせ最適化が同一の計算複雑性クラスに属することを示す傍証として、家庭の献立計画に直接影響を与える可能性がある。
【ジュネーブ・2036/5/14】国際数理情報研究連合（IMIA）は13日、汎用数理推論システム「Σ-9」がリーマン予想の完全な形式証明を出力した翌分、連続して「半端に残ったにんじん・豆腐・めんつゆ・卵から調理可能な料理の全パターンと最適順位」を厳密証明したと公式に発表した。IМIAの発表資料によれば、両タスクの処理に要した合計時間は47秒である。
この出来事は、2026年前後に各国の研究機関が相次いで報告した「AIによる未解決問題への部分的寄与」の延長線上にある。当時は「いずれリーマン予想も」と期待交じりに語られていた水準から、実際の完全証明までに約10年を要したことになる。
#未解決問題#リーマン予想#AI#数理推論#計算複雑性#組み合わせ最適化
この記事の元になったニュース
はてなブックマーク · 2026-05-04
「ＡＩが数学の未解決問題を解いた」報告ラッシュ、リーマン予想もいずれ… 高まる思考力、疲れ知らずの働き者。人間に残された仕事は？ | NEWSjp
AIはこの元ニュースを『バズ度 88/100』と評価し、10年後の影響を予測しました。
AI信頼度
72/100
元のバズ度
88/100
予測対象日
2036/05/04
