OpenAIの数学発表を専門家が批評 答えより先に問われた「読める証明」
Partition Principle（パーティション・プリンシプル）
OpenAIが選択公理との関係を調べた数学の問題の名前。
選択公理（せんたくこうり）
たくさんの集まりから一つずつ選べると考える数学のきまり。
Lean（リーン）
数学の証明をコンピューターで確かめるための言語。
何が起きたのか
OpenAI（ChatGPTを作るAI会社）は、集合論（ものの集まりを研究する数学）の長年の問題について、「Partition Principleが成り立っても、選択公理（たくさんの集まりから一つずつ選べると考える数学のきまり）が成り立つとは限らない」と発表した。公開したプレプリントと、Lean（証明をコンピューターで確かめるための言語）のコードをめぐり、数学者のAsaf Karagila氏が2026年10月8日のブログ記事で批評した。
氏はこの問題を長く研究してきた。ただし、これは数学界全体の結論ではない。氏はコードを詳しく調べず、論文を短く読んだうえで評価している。まず、この点を発表そのものと分けて考える必要がある。
背景にある問題
この話の中心は、答えが合っているかだけではない。数学の論文は、ほかの研究者が何をしたかを追い、確かめ、次の研究につなげられる形で書かれる必要がある。
Karagila氏は、OpenAIのプレプリントについて、文章が分かりにくく、構成が不自然で、用語の使い方にも違和感があると指摘した。さらに、想定しにくい定理を変わった形で置いているとも述べた。引用文献には、査読を受けていない講義ノートや未公開資料が複数あり、自分の論文も、より適切な公刊論文を差し置いて引用されたという。
なぜ重要なのか
OpenAI側の発表は「進歩」と表現する。一方、ニュースでは「ChatGPTが長年の問題を解いた」と受け取られやすい。この差が、数学者に大きな確認作業を押しつける。
読みにくい証明が大量に出れば、専門家は研究や学生の指導を止めて、それが本当に新しく、正しく、意味のある結果かを調べなければならない。Karagila氏は、AI企業が数学の側に自分たちの基準へ合わせるよう求めている、と批判する。公衆や資金を出す人が「数学者はAIで置き換えられる」と誤解する危険も指摘した。
確認できたこと
確認できるのは、OpenAIがこの主張を含むプレプリントを公開したこと、Leanコードも出したこと、そしてKaragila氏が論文の書き方と引用を強く問題視したことだ。
氏はAIそのものを全面否定してはいない。情報の整理、図の作成、メールの校正には使えると書き、数学での利用ルールを先に考えるべきだと述べる。たとえば、AIとの会話記録を査読者や編集者に見せるか、著者の貢献をどう判定するかが課題になる。
まだ分からないこと
このブログだけでは、数学上の主張が正しいか、Leanコードが全体を十分に確かめているか、独立した専門家が結果を受け入れるかは分からない。批評は重要な警告だが、完全な査読報告ではない。
Hacker Newsではこの記事が196 points、296 commentsを集めた。ただし、この数字はコミュニティの注目度であり、論文の正しさを証明しない。
次に見る点
次に必要なのは、結果を小分けにして専門家が読み、説明し、再現できる形にすることだ。OpenAIが数学者から事前に文章や引用への助言を受けたか、証明のどこが新しいのかを説明するかも焦点になる。
AIが答えを大量に出せる時代ほど、答えを人が理解できる形に直す仕事の価値は下がらない。今回の批評は、AIの能力の発表より、研究を共有する作法の方が先に問われていることを示した。
OpenAIの数学発表に専門家が質問 大切なのは「読める証明」
📰 しっかり版: OpenAIの数学発表を専門家が批評 答えより先に問われた「読める証明」
AIが答えを出しても、人が確かめられなければ研究は前に進みません。
プレプリント（プレプリント）
正式な雑誌に載る前の論文。
Lean（リーン）
証明をコンピューターで確かめるための言語。
Hacker News（ハッカー・ニュース）
技術ニュースを読む人が集まるサイト。
💡 ようするに
- OpenAIは数学の問題を解いたと発表しました。
- 数学者は、説明と引用が分かりにくいと批評しました。
- Hacker Newsで話題になりましたが、人気は正しさの証明ではありません。
何が起きたの？
OpenAI（ChatGPTを作るAI会社）は、Partition Principleという数学の問題について発表しました。問題は、これが成り立つと、選択公理も成り立つのか、というものです。OpenAIは「そうとは限らない」とするプレプリントを出しました。プレプリントは、正式な雑誌に載る前の論文です。証明をコンピューターで確かめるLeanのコードも公開されました。
集合論を研究するAsaf Karagila氏は、公開された文章を読みました。氏は、文章の流れが分かりにくいと指摘しました。用語の使い方にも不自然な点があると書きました。引用文献には、公開された論文より講義ノートを使った箇所もありました。
なぜ問題なの？
数学では、答えだけでは足りません。ほかの人が道筋を読み、間違いを探せることが必要です。説明が分かりにくいと、専門家は長い時間をかけて調べます。その間、別の研究や学生の指導が遅れます。AIがたくさんの答えを出すほど、読む人の仕事が重くなります。
Karagila氏は、AIを全部否定していません。情報をまとめたり、メールを直したりする使い方は認めています。数学で使うなら、AIとの会話を研究者や審査する人に見せるか、先に決めるべきだと考えています。
何が確認でき、何が未確認？
確認できるのは、発表とプレプリントがあり、専門家が文章を批評したことです。数学の主張が正しいかは、この一つの記事だけでは決まりません。Leanのコードも、氏は詳しく調べていません。
Hacker Newsではこの記事が196 points、296 commentsを集めました。これは注目の大きさです。正しさを保証する数字ではありません。今後は、別の数学者が証明を読み、説明し、再現できるかが焦点になります。元記事
💬 AIの数学は、答えだけで十分？
元記事は、OpenAIがPartition Principleは選択公理を含意しないと発表した件を扱う[元記事](https://karagila.org/2026/openai-pp/)。HNでは、AIが数学を前進させたという意見と、説明や確認が足りないという意見がぶつかっている。数値や不具合は、コメント投稿者の自己申告である。
- 批判者は、Leanという証明チェッカーが通っても、何をした証明なのか人が分からなければ困ると言う。確認の時間を数学者に押しつけ、発表だけが先に広がる心配もある。
- 擁護者は、命題が問題に合い、Leanが証明を確認したなら、人間の論文より強い根拠になることもあると言う。読みたい人が続きを研究でき、読むことを誰も強制されていないという。
- 別の批判では、数学には答えだけでなく、前の研究、分かりやすい説明、他の人が同じ結果を再現できることも必要だ。ある利用者の自己申告では、モデルやプロンプトが公開されず、同じ実験を繰り返せない。
- AGMAIについては意見が割れる。ある人は公開を勧めたと説明し、別の人は、難しい問題を専用モデルで試すこと自体は認めず、すでに出た結果にも文献調査、出典、分かりやすい説明を求めたと訂正した。
- 利用者の自己申告では、sub-n log n multiplicationの記録が115回更新され、指標は1 - 1.63e-55から1 - 9.87e-5になった。擁護者は、AIの出力が新しい研究を生んだ例だと見る。
- 評価目的について、ある利用者の自己申告では、4,000問中372問の結果があり、まだ飽和していないという。一方、別の自己申告では、AI支援のCollatz反証がカーネルのバグで無効だった例や、符号ミスの例があり、別の人はそれらはOpenAIのLean付き成果ではないと反論した。
コメント300件時点の成長中（改訂2）。300件を取得し、全体から120件を抽出して要約しました。内容はHN利用者の自己申告で、編集部が確認した事実ではありません。
AIの数学の答えは、読める説明がいる
📰 しっかり版: OpenAIの数学発表を専門家が批評 答えより先に問われた「読める証明」
AIが答えを言っても、みんなで確かめる道がいります。
Partition Principle（パーティション・プリンシプル）
長いあいだ考えられてきた数学の問題の名前。
Lean（リーン）
コンピューターに数学の道すじを見せるもの。
Hacker News（ハッカー・ニュース）
技術のニュースを見て話すサイト。
なにがあったの？
OpenAI（ChatGPTを作るAI会社）が、数学の発表をしました。 「Partition Principle」という問題です。 とても長く考えられてきた問題です。 OpenAIは、答えの紙を出しました。 Leanという、答えを機械で確かめる道具の記録も出しました。
Asaf Karagilaさんは、数学を研究する人です。 その紙を少し読みました。 「書き方が分かりにくい」と言いました。 「資料の選び方もよくない」と言いました。 でも、答えが間違いだと決めたわけではありません。 くわしく確かめるには、もっと読む時間がいります。
なぜ大事？
数学の答えは、答えだけでは困ります。 みんなが道すじを読めることも大事です。 道すじが読めないと、間違いを探せません。 次の人も、その答えを使えません。 AIは、たくさんの答えを早く出せます。 でも、人が読む仕事は残ります。
みんなが見た数について
Hacker Newsという技術ニュースの掲示板で話題になりました。 たくさんの人が見て、話しました。 これは人気のしるしです。 正しいというしるしではありません。 これから数学を研究する人が、答えを確かめます。 わかりやすい説明になるかも見ます。
💬 AIの数学を、だれが確かめるの？
元記事は、OpenAIがPartition Principleは選択公理を含意しないと発表した話を扱う[元記事](https://karagila.org/2026/openai-pp/)。コメントでは、役に立つという人と、説明が足りないという人がいます。数字や間違いの話は、コメントした人の自己申告です。
- AIは、むずかしい数学の答えを出したと言われました。でも説明が読みにくいので、数学者が長い時間をかけて確かめることになります。
- 応援する人は、Leanというチェック係が証明を確認したなら役に立つと言います。批判する人は、答えだけでなく、分かりやすい説明と、ほかの人が同じことをできることも大切だと言います。
- AGMAIについては、公開を勧めたという人と、専用AIで難しい問題を試すことを支持せず、出すなら出典と説明を整えてほしいと言ったという人がいます。
- 利用者の自己申告では、記録が115回更新された例や、4,000問中372問という評価の話があります。別の自己申告では、AIの数学にバグや間違いがありました。だから、役立つかもしれませんが、人の確認も大切です。
コメント300件時点の成長中（改訂2）。300件を取得し、全体から120件を抽出して要約しました。内容はHN利用者の自己申告で、編集部が確認した事実ではありません。
💬 AIの数学成果を、誰が理解し、誰が確かめるのか
元記事は、OpenAIがPartition Principleは選択公理を含意しないと発表した件を扱う[元記事](https://karagila.org/2026/openai-pp/)。HNでは、Leanの形式証明を伴う成果を数学の前進と見る声と、読みにくい成果の大量公開が説明・出典・検証の負担を数学者へ移すと批判する声が対立している。以下の数値・性能・不具合は、コメント投稿者の自己申告として扱う。
コメント300件時点の成長中（改訂2）。300件を取得し、全体から120件を抽出して要約しました。内容はHN利用者の自己申告で、編集部が確認した事実ではありません。