300年来の数学仮説「ルパート特性」の反例、韓国の中3生がAIで解いた

韓国の中学生が300年来の数学の仮説の反例を、人工知能（AI）を活用して証明したという趣旨の論文を公開し、数学界で論争が大きくなっている。

国際研究アーカイブプラットフォーム「ゼノド」と開発者プラットフォームの「ギットハブ」によると、「菱形十二二十面体はルパートではない」という論文が5日に事前公開された。

論文の作成者は京畿道金浦（キョンギド・キンポ）のハンガラム中学校3年生チョン・ギヒョさんだ。

彼は中央日報とのインタビューで、「数学難題を解くためにクロードでコードを作成し、これを再びAIで検証する方式で論文を書いた」と話した。

チョンさんは指導教授ら助力者なしで自ら研究主題と方向を設定したと明らかにした。

証明に必要な計算はノートパソコンで約38時間かかったという。

チョンさんが自身の論文を米コミュニティのレディットで共有した投稿は、10日にクロードコードを共有する掲示板で人気投稿1位に上がったりもした。

（以下略、続きはソースでご確認ください）

中央日報日本語版 2026.10.14 11:34
https://s.japanese.joins.com/Jarticle/356299

こらリーマン予想も今年中に解決するかもな

日本人はまずギフハブしか知らない

自身を通り抜けることができない凸多面体 オーストリアのグループが発見

日経サイエンス

2026年3月21日

https://www.nikkei.com/article/DGXZQOSG126ND0S6A310C2000000/

redditに投稿したというのはこれか？

https://www.reddit.com/r/ClaudeAI/comments/1x2eybb/im_a_9th_grader_and_i_used_claude_to_prove_a/ 200件のコメント後に自動的に生成された議論の要約。

このスレッドは、投稿者の天才ぶりに感嘆する人々と、それが詐欺だと考える人々の間で、まさに内戦状態と言えるでしょう。 結論としては…意見の一致は見られません。しかし、最も役に立つコメントは、実際の数学の問題を解説しているものです。

（以下略）

AIを使って解いたってのはAIが証明していることを少なくとも理解はできているってことだよね

まあそれだけでも普通の中学生とは違うな

反例を見つけるのはAIが得意だからどんどんやればいいと思う

リーマン予想の反例も期待してる

>>8

これはオレでも解るぐらいに単純ではある

論文が単純かどうかはしらんけど

今回新しく反例だと主張してるのは「斜方20・12面体」という多面体だね この多面体は数年前から非ルパートの疑いがある立体として研究されていて、やはりそれがルパート特性を持たないぞってことらしい

もともとルパート問題は去年「ノパーヘドロン」という反例の多面体が見つかったことで、既に決着が着いてる

ノパーヘドロン以外に”よく知られた”多面体も反例に成りうるのかどうか、についてはよくわかってなかったけど

もし今回の証明が正しいとしたら、そこそこの数学的成果だとは思う

「斜方20・12面体」のルパート性を特定しようと数学者が数年間頑張ってきたのに今までなし得なかったのは

全ての方向に対して「通り抜けられない」を厳密に満たしているかどうか、の全パターンの証明が複雑すぎて網羅しきれないから

ゆえに今回の証明が正しいかどうかの精査はたぶんかなり時間がかかるんじゃないかと思うよ

これに対し「著者本人も内容を理解できていないだろう」という批判もあった。これについてチョンさんは「論文のすべての詳しい内容を1人で検証できる水準ではない」としながらも、「ほぼ同じ時期にそれぞれ異なる方法で同じ結論を出した論文があるので結論自体に間違いはない可能性が大きい」と話した。

韓国基礎科学研究院（IBS）離散数学グループCI（研究責任者）のオム・サンイル氏は「アーカイブプラットフォームに論文が上がってきたというのは公開日を公認されるという意味で、内容を保証するものではない」と説明した。ソウル大学数理科学部のソ・インソク教授は「論文の著者はすべての内容を理解し、他の人の質問に答えられなくてはならない。研究にAIを活用したとしても著者がその論証を理解・補強してこそ完結性ある成果と認定される」と指摘した。

>>15

ノーへパは対称性を使って絞り込んで

特にギリギリのやつだけ攻めたとかだっけかな あとは完全に力技だった気がする

L字のソファー搬出問題みたいに

3次元できるやつも証明はけっこう大変だったはず

証明だからな

人間の存在価値って何？

これからAIが未解決問題を出す時代がくる

反例は解くではなく、

発見するのが表現としっくりくる。

>>28

反例は反例だと証明付きで提出されるよ。

>>1

これもっと前に解明されてたやろ

これから産業革命以来の大転換期が訪れるだろうね