ホイヨ
(google検索)
東大入試 数学 AI 2026

https://note.com/ri3taro/n/n0c1619b2dfad
史上最難といわれた東大数学2026をAIが30分で6完する時代に数学を勉強する意義はあるのか？
note · 片山湧斗（東大医学部　医学部予備校レユシール講師代表）
10 件以上の高評価 · 2026年2月28日
1 論理的思考力が鍛えられる · 2 知識を持つ人と持たない人の差はむしろ拡大する · 3 大学入試科目である以上、必要である.
５　結論
このnote記事のタイトルの問いに対する解答は
数学は必要だし、AI時代だからこそ必要だと思えるように勉強すべき
知識や解法だけでなく、姿勢や思想を学べる人に出会うこと
それが、これからの時代において最も大切なのではないでしょうか。

https://zenn.dev/autores_math/articles/81298aec0ac42c
AIは2026年の東大数学をLeanで形式証明できるか？
Zenn
2026/03/04 — 受験生にとって「0完もあり得る」とまで言われた難易度を考えると、AIの形式証明能力が大学入試レベルをすでに大きく超えていることがわかります。
所感
「2000年以降最難」とも噂される東大理系数学に対して、Aristotleは6問中4問を完答し、残り2問も部分的に正解するという結果でした。受験生にとって「0完もあり得る」とまで言われた難易度を考えると、AIの形式証明能力が大学入試レベルをすでに大きく超えていることがわかります。
特筆すべきは、プロンプトを1行入力するだけでTeXからLeanの形式証明まで一気通貫で完了する点です。人間が数時間かけて答案を練り上げるプロセスを、AIが数十分〜数時間で、Leanによる検証付きで達成しています。

https://www.toshin.com/recent/detail/RecentToshin.php?id=175
【東進調査】2026年東大二次試験、最新AIが理三合格レベルを突破、9割に迫る。文系数学は全3種が満点！進化するAIの記述力と、見えてきた「図形・史料」の壁 東進
2026/03/05 — ②教科により点数には差があるが、数学(文科)においては3種のAIともに満点となった。生成AIの著しい進化が感じられる。今回検証した3種の生成AIの合計点を ...