今年の年末も、1日まるごと数学を楽しむ「文化祭」を開きます。MATH EXPO ...

■ 数学の真理をコードで証明する次世代AIの挑戦 ...

GPT-6 AstraがLLMの重みを直接書き換えて数学の正答率を約6倍にしたらしい。しかも変更したのは全体のわずか0.016%で、勾配降下も追加学習もしていないという... これ、AIが別のAIの内部構造を理解し始めてるってことなのか……？ 詳しく見てみると、対象はQwen3.5-0.8Bで、MATH-500の正答率が7.9%から48.1%、GSM8Kも13.8%から67.1%に改善している。

SECHSKIES出身のコ・ジヨンの息子、スンジェ君が国際数学大会「2026 World Team Maths ...

河合塾グループの持株会社である株式会社KJホールディングス（本社：東京都新宿区、代表取締役社長：河合英樹）は、韓国のEdTech企業 I Hate Flying Bugs Inc.（本社：韓国ソウル、CEO：Chanyong Park、以下「IHFB ...

マサチューセッツ工科大学の研究チームは、フロンティアAIモデルがオープンウェイトのAIモデルの内部重みパラメータを直接解読および編集する新手法「ウェイトスペースプログラミング」を発表した。GPT-6 Astraを用いてQwenモデルの重みをわずかに修正し、モデル内部に存在していた推論ループの欠陥を修正することで、数学ベンチマーク性能を劇的に向上させることに成功した。AIがAIの重みパラメータを直接 ...

マスマスター (Math Master Inc.) は29日、小学生向け計算学習アプリ「さんすうフレンズ」の保護者向けアプリ「さんすうフレンズほごしゃ」を提供開始したと発表した。 本アプリは、子どもが「さんすうフレンズ」で学習した内容を保護者が確認し ...

「知性」を微塵も感じない自民・公明・維新・国民は未来永劫不支持。「中道」は自民補完野党、不支持。バカと若者と貧乏人こそ選挙いけ！。政府の愚策のほとんどは支配者米国及びカルト統一教会の思う通りに決まる、その走狗が自民党だ。自民党は貧乏神、観光立国・移民反対、多文化共生を拒否する国民、護憲！で保守！

Axiom ...

31年間解けなかった数学の難問KLS予想を、Microsoftの研究者とAIが共同で証明しました。AIの提案と人間の判断がどのように難問解決につながったのか、そのプロセスを分かりやすく解説します。

米AIスタートアップのAxiom社は、数学史上最大規模とされる 有限単純群 の分類定理の完全な形式的証明を証明支援言語Leanを用いて達成したと発表した。約100人の数学者が半世紀をかけて執筆した1万5000ページに及ぶ証明を、多数のAI ...

数学の問題を何度も繰り返すだけで答えを出せない。 そんな小さなAIモデルの「悪いクセ」を、MITの研究チームは学習でも微調整でもなく、たった0.016%の重みを書き換えることで直した。 MATH-500という数学ベンチマ […] ...