IT・AI
2026年10月8日
OpenAIのAI数学論文700本公開に数学者反発、海外で議論
10月6日、ChatGPT開発元のOpenAIが、AIに生成させた数学の証明プレプリントを700本以上まとめてGitHub上に公開した。一部の数学者は長年の難問が解かれたことを歓迎したが、他の研究者たちは「人間の成果を横取りされた」「知的不正の規模が信じられない」とSNSで猛反発した。海外の技術系掲示板Lemmyのスレッドでは、証明が形式検証言語Leanで書かれているため人間のチェックなしに正しさが保証されるという技術的な擁護と、研究の評価やインセンティブの仕組みそのものが壊れてしまうのではという懸念が交わされ、意見が割れていた。
OpenAIが700本の数学プレプリントをオンラインに公開、数学者たちが猛反発
10月6日、ChatGPTの開発元であるOpenAI(米カリフォルニア州サンフランシスコ)が、AIが生成した700本以上の数学プレプリントをソフトウェアリポジトリGithub上で公開し、研究者コミュニティが騒然となっている。
一部の数学者は長年未解決だった問題が解かれたことを喜んだが、他の数学者たちは「手柄を横取りされた」としてSNS上で不満を述べた。ある物理学者はこれを『スロップの大洪水』と呼び、たとえその数学的内容が形式的に正しいとしても憤りを覚えると語った。
出典: nature.com / 元記事はこちら
3
海外の名無しさん
2026-10-08 10:55
世界中から盗んで、それを堂々と自慢する。それが今どきの当たり前の振る舞いなのか? これが次の世界の支配者だとでも言うのか?
10
海外の名無しさん
2026-10-08 11:01
それは新しい入力を生み出す意欲そのものを失わせる。AIはその入力に完全に依存しているのだから、結局は自分で自分の首を絞めることになるだろう。
12
海外の名無しさん
2026-10-08 12:13
つまり『詰みのループ(doom loop)』ってことか。
23
海外の名無しさん
2026-10-08 11:40
人間がいつも賢い判断をすると思いすぎだろう。実際は『都合のいい方』を選ぶだけだ。
5
海外の名無しさん
2026-10-08 11:13
数学者じゃない人にも分かるように説明してほしいんだけど、具体的に何が問題なの? 問題が解けるのはみんな望んでることだよね? 解き方に『正しくないやり方』があるの? それとも他人の手柄を横取りしないための紳士協定みたいなものがあるの? もし人間が同じ700個の解答をネットに上げたとしても、それはやっぱり問題になるのかな?
7
海外の名無しさん
2026-10-08 12:10
リンク先を見てほしい。OpenAIが公開した中に、1か月前に人間がアップロードしたものとよく似た論文がある。同じ投稿者は、この知的不正の規模は信じられないレベルだとも言っている。
9
海外の名無しさん
2026-10-08 11:55
少なくとも人間が定理の文そのものを確認する必要はある。
21
海外の名無しさん
2026-10-08 11:40
リポジトリを見てみたけど、証明はLeanで書かれていて、人間によるフィードバックは必要ない。
11
海外の名無しさん
2026-10-08 11:08
AIが大嫌いな人間として言うけど、これはなかなか興味深い展開だな。
15
海外の名無しさん
2026-10-08 11:50
業界がやるべきことはこうだ。あの論文群は無視して絶対に引用しない。その上で誰かが数学的に検証して、自分の名前で証明を発表すればいい(最初にやった人が手柄を得る)。
16
海外の名無しさん
2026-10-08 12:03
何を言いたいのか分からないな。人は金銭的または社会的な評価のために働く。AIはその両方の評価の仕組みを壊しつつある。だから『都合のいい方』を選ぶなら、新しい入力を生み出さないという選択になる。もし『それでも使われ続ける』という意味なら、それには同意する。問題は社会そのものが停滞してしまうことだ。
20
海外の名無しさん
2026-10-08 12:20
それが(AIが)チェッカーをすり抜けるとは思えないけど、可能性はある。それに、証明がコンパイルできることと、人間がそれを理解できることはまた別の話だ。
24
海外の名無しさん
2026-10-08 11:51
この成果はLeanで書かれていて自動的に検証されているから、人間による検証は不要だ。盗用かどうかについては何も言えないが、この議論自体はそれには当てはまらない。
この話題の背景と論点
数学の世界では、証明の正しさと「誰が最初に解いたか」という功績は別の問題として扱われてきた。スレで触れられているLeanは、証明をコンピュータが検証可能な形式で記述する言語で、理論上は人間のチェックなしに正しさを保証できる。今回の論争も、AIが生成した証明が技術的に正しいかどうかより、既存の研究者の功績を奪う形で大量公開されたことへの反発が中心になっている。スレ内で出てくる「知的不正」という言葉は投稿者個人の主張であり、OpenAI側の説明や独立した検証結果は材料には含まれていない点には注意が必要だ。また、形式検証で正しさが保証されても研究者が評価や credit を得られなければ新しい研究を行う動機自体が失われるという懸念も示されており、AIによる学術生産の効率化が、学問を支える評価制度と衝突する構図が浮かび上がっている。
※本記事は海外掲示板 Lemmy c/technology のスレッド「OpenAI posts 700 maths preprints online: mathematicians are up in arms」から抜粋し、編集部で日本語に意訳したものです。訳文の責任は当サイトにあります。
この記事のリアクション
まだコメントはありません。