OpenAIのAIが数学論文を722本。研究者が「研究計画が吹き飛んだ」と言った日から、自分の仕事を考える

OpenAIのAIが数学論文722本を公開:372テーマ、機械で検証済み約42%、翌日3本取り下げ

2026年10月6日(米国時間)、OpenAIが、まだ公開していない社内のAIモデルが書いたという数学の論文722本を、GitHub(プログラムや文書を公開するサイト)にまとめて公開しました。

その2日後、ニューヨーク大学の数学者は、アメリカのテレビ番組でこう話しています。「火曜日のあの一斉公開で、研究計画が丸ごと吹き飛んだ人たちがいる」。

数学の未解決問題は、知識の仕事のなかでもいちばん難しい部類です。そこにAIが大量の答えを持ち込んだとき、何が起きたのか。そして、数学者ではない私たちは、ここから何を受け取ればいいのか。事実を確かめながら整理します。

3行で言うと

  1. OpenAIが、社内AIの書いた数学論文722本(372テーマ)を一度に公開。翌日には3本を誤りで取り下げ、14本を修正した。
  2. コンピュータで正しさを確かめられる形になっているのは約42%。残りは、人が読んで確かめるしかない。
  3. 数学者からは「若手の研究計画が吹き飛んだ」という声と、「数学で鍛える考える力の価値はむしろ上がる」という声の両方が出ている。

何が起きたのか:数字で見る「722本の一斉公開」

OpenAIは公開にあたり「社内の最先端モデルが生み出した、幅広い新しい数学の成果を公開する」と説明しています。公開された資料と報道から、確認できた数字を並べます。

項目内容
公開日2026年10月6日(米国時間)
論文の数722本 → 取り下げ後は719本
テーマの数372(関連する論文をまとめたグループ)
AIが挑んだ問題約4,000問(報道による)
1つの成果にかかった計算平均で、ChatGPT Proで約3時間考えたのと同じくらい(報道による)
コンピュータで検証済み719本中300本、約42%(証明チェック用の言語「Lean」で形式化)
翌日(10月7日)の訂正3本を取り下げ(符号の誤りで議論が成り立たなくなった)、14本を修正
公開されなかったものAIモデルの名前、AIへの指示文(プロンプト)、問題ごとの計算量(報道による)
出典:OpenAIのGitHub公開資料(README・更新履歴)、Interesting Engineering、Let's Data Science。

OpenAI自身も、資料のなかで「成果は検証の段階がそれぞれ異なる」「形式化されていない結果には問題があるかもしれない」と書いています。つまり、答えは大量に出たが、それが本当に正しいかの確認は、まだ半分も終わっていないということです。

数学者はどう受け止めたか

Business Insiderの報道では、3人の数学者の声が紹介されています。

  • トリスタン・バックマスター氏(ニューヨーク大学):CNBCの番組で「研究計画が丸ごと吹き飛んだ」と発言。未発表の研究がAIツールに入力され、OpenAIの成果に使われた可能性も心配しています。OpenAIはコメントの求めに応じていません。
  • ブライナ・クラ氏(ノースウェスタン大学):「数学は、とても協力的な分野だ」と話し、一度に大量に公開されると、未完成のアイデアを人に話さなくなる「秘密主義」が広がる恐れがあると指摘。「この会社に、これらの成果について講演したり、専門的な質問に答えたりできる人はいない」とも批判しました。
  • アレックス・コントロビッチ氏(ラトガース大学):「ボタンを押しただけの人に賞をあげる気はない」としつつ、「数学はまず、大きな問題を明晰に、深く、長い時間考える力を育てる」と話し、その価値はむしろ上がると見ています。

どの研究者の、どの研究が影響を受けたのか、具体的な名前や人数は報じられていません。ここでは「影響を受けた人数は不明」としておきます。

置き換わりそうな仕事、増えそうな仕事

今回の件から見える仕事の変化を、筆者なりに整理しました。人数や求人数のデータはまだ出ていないため、あくまで「方向」です。

仕事理由
置き換わりそうな仕事未解決問題を解く研究(とくに若手・ポスドクが数年かけるもの)AIが同じ問題を短時間で解いてしまうと、先に発表した側の成果になる
増えそうな仕事AIが出した証明を読んで確かめる人719本のうち約6割は、まだ機械で検証されていない
増えそうな仕事Leanなどで証明をコンピュータに確かめさせる人OpenAIは形式化が進み次第、資料を更新すると説明している
増えそうな仕事AIの成果を人に説明し、議論できる人「質問に答えられる人がいない」という批判が出ている
筆者の整理。職種ごとの人数の増減は不明(報じられていない)。

なお、OpenAIは今後、AIが生んだ成果を理解するためのワークショップや会議に資金を出すとしています。「確かめる」「説明する」側の場づくりには、お金が動き始めています。

数学者でなくても、自分ごとにできる5つのこと

1. 「難しい仕事だから安全」は、もう通じない

数学の未解決問題ほど難しい仕事は、そう多くありません。それでも置き換えは始まりました。分かれ目は「難しさ」ではなく、成果が「正しい・間違い」ではっきり確かめられるかどうかです。確かめやすい仕事ほど、AIは何度でも試して正解にたどり着けます。

2. 大量に出てくると、「確かめる力」に値段がつく

722本のうち、翌日には3本が取り下げになりました。答えを作るコストが下がるほど、「これは本当に正しいのか」を見抜ける人の価値は上がります。報告書、見積もり、分析など、どの職場でも同じことが起きるはずです。

3. 何年も温める「準備中の仕事」が、いちばん危ない

若手が何年もかけて進めていた研究が、一度の公開で先を越されました。仕事でも、半年かけて完璧に作り込んでから出すより、小さく早く出して「自分の実績」にしておくほうが身を守れます。

4. 人に残るのは「説明する」「責任を持つ」部分

「質問に答えられる人がいない」という批判は、裏を返せば、成果を人に伝え、質問に答え、引き受ける役は、まだ人にしかできないということです。AIの出したものを、自分の言葉で説明できるかどうか。そこが仕事の価値になります。

5. アイデアをAIに入れるときのルールを持つ

「未発表の研究がAIに入力されたかもしれない」という心配が出ています。真偽は分かっていませんが、会社の企画や未発表の情報をAIに入れるときに何を入れて、何を入れないかを決めておくことは、これからの仕事の基本になりそうです。

明日からできること

  • AIが出した答えを、1つだけ自分で検算してみる(数字なら元データ、事実なら出典を確認)。
  • いま抱えている「準備中の仕事」から、今週出せる小さな部分を1つ切り出す。
  • AIに入れてはいけない情報を、3つだけ書き出しておく。

Q&A

Q. 722本の論文は、全部正しいの?
まだ分かりません。コンピュータで検証済みなのは約42%で、OpenAI自身も「問題があるかもしれない」と書いています。翌日には3本が取り下げられました。専門家による確認はこれからです。

Q. 数学者の仕事はなくなるの?
「解く」部分の一部はAIに移りそうですが、確かめる、説明する、何を問うべきか決める、といった仕事は、むしろ必要になっています。数学者の人数や求人がどう変わるかは、まだデータがありません。

さいごにひと言

世界でいちばん難しい仕事のひとつに、AIが一夜で踏み込んできました。正直、衝撃です。それでも「答えを確かめて、自分の言葉で説明する」役は、まだ私たちの手の中にあります。まずは明日、AIの答えを1つ検算するところから始めてみます。

あわせて読みたい

AIに仕事を任せる側になる練習 ― ほそめがねのAI分担表と自己採点

AIを使う人は6割、お金を払う人は1割台。日本と世界の「AI課金率」から見える仕事の差

マスクはSpaceX株を子どもに、Anthropicは株の5%を公益に。AIの会社が「富を配る」理由を考える

参考にした主な情報源

コメントを残す

メールアドレスが公開されることはありません。 ※ が付いている欄は必須項目です