10月30日 日本ニュースまとめ
天気・災害・事故
列島は大気不安定[36]。東京は雨のち曇り22℃[28][63]、大阪は雨の20℃[39]、岡山は雨のち晴れ21℃[55]、静岡は雷雨のおそれ[22]、姫路・尼崎・所沢・岡崎も雷と突風に注意です[44]。急な雨で雨雲レーダーの利用が急増しました[53]。非常に強い台風31号が小笠原諸島の南に停滞し「weather」検索も急上昇[61]。桜島は噴煙2200mの噴火が続き警戒レベル3です[34]。安城市の工事現場で土砂崩れ、親子2人が死亡[46]。JR青梅線は人身事故で一時運転見合わせ[20]。松江市の3小学校は給食後約300人体調不良[76]。スペイン列車衝突事故は死者69人、乗客名簿に日本人2人[84]。ネパールの2遺体は日本人登山者と確認されました[38]。
裁判・行政・事件
ワクチン「生物兵器」発言の原口一博元総務相に賠償命令[4]。李琴峰さんのアウティング訴訟勝訴、村松甲府市議に110万円[12][59]。一宮市は無断休憩971時間の職員を懲戒免職[16][43][83]。防災庁発足に合わせ細野大臣が備蓄の緊急要請へ[33]。ライブ配信中のQRコード遠隔注文で約200万円請求[41]。中野ブロードウェイで4600万円の時計盗難です[81]。
企業・経済
インテルは決算好調も見通し悪化で時間外23%急落、イビデンもストップ安[8][17]。アマゾン[19]、アルファベット[72]も予想下回り急落。サンディスクは営業利益50倍で過去最高[47]、キオクシア決算にAI特需の注目[77]。富士通は増収増益も純利益68%減[71]、アイシンは下方修正と情報漏えい可能性[87]。予約システム不正アクセスでANA・JALに情報漏えいの可能性[42]、ANAはAIR DO・ソラシドエア親会社の完全子会社化へ[15]。PayPay連携口座の偽アプリ被害も相次ぐ[14]。アイリスプラザも不正アクセスで停止[56]。燃油補助金は12月から縮小です[45]。
テクノロジー・ゲーム
Linux脆弱性CVE-2026-98432をAIが悪用コード化[68]。Android版Authenticatorは更新を[89]。31年未解決の数学KLS予想をAIが解決[70]。らくらくスマホの「radiko+FM」が話題[32]。『モンハンアウトランダーズ』のリセマラ攻略が人気[79]。ALGS世界大会が開幕しました[62]。
暮らし・消費
サイゼリヤが約6年ぶり値上げ、ドリア320円に[58]。てんやは730円で客数1割減[66]。スタバ福袋2027は9500円で中身発表[3]。新型パジェロは12月17日発売619万円から[2]。ホンダWR-V海外改良版も登場[88]、ホンダは8車種リコール[13]。ドラクエのスライムダークグッズがイオンで先行販売[74]。ディズニー新アトラクションはプレミアアクセス3000円です[37]。
スポーツ
プロ野球は松井新監督体制へ。巨人打撃コーチに清水隆行氏[23]。ドラ1織田翔希投手の進路に注目[57]。ドジャースが佐々木朗希ら1対3でネト獲得構想[9][54]、フリーマンと延長交渉へ[25]。ポスティングシステムはMLBロックアウトで激震[80]。辻発彦氏が日本シリーズを分析[65]、バウアーが日本野球を語る[85]。赤堀元之監督は楽天コーチへ[69]。サバンナ・バナナズが2027年ドジャースタジアムへ[91]。大坂なおみは東レPPOで敗れ今季終了[11]。上田綺世は3〜4週間で復帰へ[67]。U-17なでしこが8強入り[18]、女子CLはシティとPSGがドロー[40]。藤井聡太六冠が銀河戦決勝Tへ[24]。坂井優太が4回KO[29]。レガレイラが天皇賞・秋へ[27]。MリーグでHIRO柴田が国士無双の逆転[82]。難波宏治が引退[75]。「りかしん」が新技公開です[64]。
エンタメ・文化
藤井風の東京ドーム公演初日がYouTube生中継[1][73][78]。パトリック・スチュワートさん死去に哀悼の声[30][50]。ヘイデン・パネッティーアさんの死は事故死と断定[51]。『アナログナース』初回10.1%[7]。『VIVANT』で黒須ら救出[48]。朝ドラ「ブラッサム」の遠藤憲一に注目[90]。太田光さんのお小遣いゼロ告白[21]、Mattの報道否定[31]、大谷舞風アナ初出演[35]、寿司職人の朝長美桜さん[26]、1人6役のラウールCM[52]、最優秀歌唱賞の三山ひろしさん[60]、VMAJ放送決定[86]。元広島の池谷公二郎さんが死去[10]。吉田鋼太郎さんが園遊会で両陛下と懇談[5]。ロト6第2150回は1等該当なしです[6][49]。
数学の難問KLS予想をAIと研究者が解決 31年間の未解決問題に幕
ニュース要約: 31年間未解決だった数学の難問「KLS予想」を、マイクロソフトの研究者とAIのチームが証明した。複数のAIモデルから100以上の解決策を探索し、人間が検証する協働で手がかりを発見。10月4日に論文が公開され、統計学や計算機科学への応用も期待される。
数学界で31年間未解決とされてきた難問「KLS予想」について、米マイクロソフトは10月21日、同社の研究者とAI(人工知能)のチームが証明に成功したと発表した。1995年に持ち込まれて以来、長らく解決されてこなかった数学の重要問題に決着がつく見通しとなり、数学とAIの協働の在り方をめぐって注目が集まっている。
KLS予想は、「対数凹」と呼ばれる性質を持つ高次元の確率分布に関する問題だ。マイクロソフトは、これを図形の切り方に置き換えて説明している。ある図形を体積が半分ずつになるように切るとき、平らな面で切る場合と、曲がった面も使える場合とで、切り口を最も小さくできるのはどちらか。そして、その大きさにはどれくらいの差があるのか。数学の世界では3次元を超えて4次元、100次元といった空間も考えられており、KLS予想が問うのは、次元がどれだけ増えても、平らな面による最良の切り方と形を問わない最良の切り方で、境界の大きさの比が一定の範囲に収まるのかということだ。
この問題は統計学やコンピューターの計算にも関係しており、数学の世界では長年にわたり重要な問題とされてきた。今回、証明に挑んだのは、Microsoft ResearchのXinzhi Zhang氏と共同研究者のZhao Song氏。研究論文によると、2人は複数のAIモデルを使い、100以上の解決方法を探索した。使用されたのは、OpenAIの「GPT-6 Astra」「GPT-5.6 Sol」と、Anthropicの「Claude Fable 5」「Claude Fable 5.1」の4モデルとされる。
証明の進め方は特徴的だ。AIに解決方法を考えてもらい、研究者が結果を検証する。うまくいかなければ別の方法を試し、有望なアイデアが出ればさらに詳しく調べさせる。この反復作業を通じて長年の難問を解く手がかりが見つかり、研究者たちはその発見をもとに証明を組み立て、10月4日に論文として公開した。
興味深いのは、AIにほぼすべてを任せた実験では失敗していたという点だ。AIの出す案を採否判断しながら人間が方向づける形で初めて成果につながったことになり、AIと研究者の役割分担が問われる結果となった。
AIを数学研究に活用する動きは近年広がっており、証明の検証やアイデアの生成にAIを使う試みが各地で行われている。今回の成果は、未解決問題の解決そのものに加え、AIが「案を出す」側、人間が「選び、検証する」側という協働スタイルが最前線の研究で機能した例として、今後の研究手法に影響を与えそうだ。
KLS予想の証明により、高次元確率分布の解析をめぐる数学的基盤が固まることになり、統計学や計算機科学への応用も期待される。マイクロソフトの発表を受けて、数学関係者の間では証明の詳細な検証が進められている。31年にわたる難問に挑んできた研究者らの成果として、数学界の関心は今後も続きそうだ。
参考情報源
関連コンテンツ
マイニュースへ
あなた専用のニュースレポートをチェックしましょう