エルデシュ問題の解決者、人間とAIの共同証明でジャスティン・サン賞を受賞

ジャスティン・サン賞の最新受賞者として、独立研究者のWouter van Doorn、数学博士課程の学生Quanyu Tang（湯泉宇）、そして南京の東南大学で数学研究者のYanyang Li（李延陽）の3人が選ばれた。彼らの研究は6つのエルデシュ問題をカバーしている。

独学の数論研究者であるVan Doornは、2010年に学部生として研究を開始し、修士号取得後に学界を離れた後も協力関係と出版を続けてきた。Tang（湯泉宇）は中国科学技術大学の博士課程候補者で、数論、組合せ論、AI支援による数学的発見に取り組んでいる。

ハンガリーの数学者ポール・エルデシュが提唱または普及させた数学的疑問はエルデシュ問題として知られ、数、パターン、その他の構造に関するものである。多くの場合、記述は簡単だが解決は難しく、数論や組合せ論に影響を与えてきた。中には数十年未解決の問題もある。マンチェスター大学のThomas Bloomが管理するこの問題のカタログには、1200以上の問題が収録されている。

Liと共に、van DoornとTangはエルデシュ問題#650を解決した。この問題は、与えられた区間内で常に異なる倍数とペアにできる整数の正確な数を問うものである。Van Doornは別途、数学的推論を検証するツールであるLeanを使って、コンピュータで検証可能な証明を3つの問題について作成した。#369（制限された素因数を持つ連続する整数について）、#457（短い連続整数のブロックが特定の範囲内のすべての素数を含むことができるかどうか）、#469（約数の和として表現できる特定のクラスの数の逆数の和が有限の合計になるかどうか）である。

Tangは独立して#1044を解決し、多項式で定義された領域の境界の長さに正確な下限を設定した。また、Liと共に、ある要素が別の要素を割り切らない整数集合上の重み付き和を制限する#1196のより大規模なチームによる解決に貢献した。

#650の解決策は、人間の洞察力と人工知能がどのように連携できるかを示している。ChatGPTは証明アプローチの形成を支援し、AI推論システムAristotleはLean形式化中のギャップを修正した。その後、研究者たちは推論を簡素化し、最終的な証明と説明を書いた。

「この経験は、公のフィードバックが研究の問いをどのように研ぎ澄ますか、そしてAI支援による発見が数学的判断、協力、厳密な検証をどのように組み合わせることができるかを教えてくれました」とTangは述べた。

これらの賞は、プログラムによって正式に授与された最初のものであり、数学的ブレークスルーだけでなく、証明を独立して検証可能にする努力も強調している。賞、その問題リスト、受賞者の貢献に関する詳細は、公開されているGitHubリポジトリで見ることができる。

賞金は、受賞者の選択により、TRON上のUSDT（TRC-20）またはEthereum上のUSDC（ERC-20）のいずれかで支払われる。

ジャスティン・サン事務所について

ジャスティン・サン事務所は、Sunの世界的なビジネス、慈善活動、技術、ブロックチェーン、AI、科学研究、投資、芸術、宇宙探査における公共プロジェクトを管理している。

Sunはグレナダの大使兼元WTO常駐代表を務め、TRONの創設者である。TRONブロックチェーンは、ステーブルコインの主要プラットフォームとされ、ローンチ以来13兆ドル以上の取引高を処理している。新興経済国では、ユーザーはTRON上のUSDTに依存して国際金融に参加している。

アリババのジャック・マーの元弟子であるSunは、デジタル資産に関する活動で世界的な認知を得ており、2025年4月のForbesの表紙記事や複数のForbes 30 Under 30リストへの掲載がある。彼は2025年8月にBlue OriginのNS-34ミッションで飛行し、宇宙に到達した712人目の人物となった。彼の関心はテクノロジー、投資、慈善、芸術、ゲーム、宇宙に及んでいる。

ジャスティン・サン賞について

ジャスティン・サン賞は、Sunによって設立され、数学、形式的検証、AI駆動の科学的発見の進歩を促進することを目的としている。これは分散型モデルで運営され、審査は提出者の地位ではなく、証明の強度、厳密さ、検証可能性のみに基づく。

Sunは自身の名前でこの賞を設立し、数学とテクノロジーによって生み出された富を数学に還元するという永続的な誓約とした。その遺産は、発見が永続する認知された業績と受賞者であることを意図している。この賞は、明確に定義された数学の問題と機械で検証可能な証明を結びつけ、開放性、公共の利益、オープンソースの原則に導かれている。