数学セミナー増刊　補足資料

数学セミナー増刊「数学とAIのこれまで（とこれから）」に寄稿したコラム「AI における自動証明について」の補足資料です

./todai2025

ChatGPT o3-mini-high による東京大学の2025年度入試問題の理系数学に対する解答結果

• Xにて「解答略」氏が共有していた結果をpdf化したもの
• 元ポスト情報
  • @kaitou_ryaku, https://x.com/kaitou_ryaku/status/1894453591735505353, 2025年2月26日 午前3:25
  • 東大数学2025大問1 ChatGPT o3-mini-high
  • 東大数学2025大問2 ChatGPT o3-mini-high
  • 東大数学2025大問3 ChatGPT o3-mini-high
  • 東大数学2025大問4 ChatGPT o3-mini-high
  • 東大数学2025大問5 ChatGPT o3-mini-high
  • 東大数学2025大問6 ChatGPT o3-mini-high

./proof-gpt

ChatGPT o3-mini-high による大学レベルの数学定理の証明

• 隠れ1層全結合ニューラルネットの普遍近似定理
• 体準同型の単射性
• （いずれも教科書通りの証明であるため，事前に知識として知っていたものと考えられる）

./survey-gpt

ChatGPT Deep Research 機能を用いて生成された「AIにおける定理証明」の調査記事

• 一読して気付いたハルシネーション（数字や固有名詞の誤植，説明の誤りなど）や無効なリンクなどは適宜修正してありますが，まだ多くの嘘が含まれている可能性があります