ジャスティン・サン賞の新たなラウンドでは、エルデシュ問題における人間とAIの協働が称えられます。

ファン・ドーン氏は独立系の数論研究者であり、2010年に学部生として数学の研究を開始し、修士号取得後に学界を離れた後も共同研究や論文発表を続けてきました。 湯泉宇（Quanyu Tang）氏は中国科学技術大学の数学博士課程に在籍し、数論、組合せ論、AIを活用した数学的発見を研究しています。エルデシュ問題は、ハンガリーの数学者ポール・エルデシュが提起または広めた、数やパターン、その他の数学的構造に関する数学的課題です。 多くの場合、定式化は単純ですが解決は困難であり、これらは数論や組合せ論の研究を形作る一助となってきました。中には数十年にわたり未解決のままのものもあります。マンチェスター大学の数学者であり、王立協会大学研究フェローであるトーマス・ブルームが編纂・管理する「エルデシュ問題カタログ」には、1200以上の問題が収録されています。

ヴァン・ドーンとタンは、南京の東南大学数学部の李ヤンヤン氏と共同でエルデシュ問題650番を解決し、指定された区間内で常に互いに異なる倍数と一対一に対応付けられる整数の正確な個数を特定しました。 また、ヴァン・ドーンは数学的推論を検証するソフトウェア「Lean」を用いて、#369（素因数が制限された連続する整数に関する問題）、 #457（短い連続整数の列が与えられた範囲内のすべての素数を網羅し得るかに関する問題）および#469（約数の和として表せる特殊なクラスの数の逆数の和が有限の総和となるかに関する問題）についても、数学的推論を検証するためのソフトウェア「Lean」を用いてコンピュータで検証可能な証明を作成しました。

タンはさらに#1044を解決し、多項式によって定義される領域の境界長に対する厳密な下限を確立したほか、李と共に、より広範なチームの一員として#1196の解決にも貢献した。この問題では、ある整数の集合において、どの要素も他の要素を割り切らない場合、その集合上の重み付き和の上限が求められた。

#650に関する彼らの研究は、人間の判断とAIがいかに互いに補完し合えるかを示す具体的な例となっています。ChatGPTが証明戦略の策定を支援し、数学的推論のためのAIシステム「Aristotle」が、Leanによる形式化の過程で生じた不備を修正しました。その後、研究者たちが論証を簡略化し、最終的な証明と解説を執筆しました。

「この経験を通じて、一般からのフィードバックが研究課題をいかに明確化できるか、またAIを活用した発見が、数学的判断、共同作業、そして厳密な検証をいかに融合させ得るかを学びました」とタン氏は述べました。これらは同プログラムで初めて確定した受賞事例であり、数学的発見と、証明を独立して検証可能にするために必要な作業の両方が評価されました。 ジャスティン・サン賞に関する情報、問題カタログ、受賞者の貢献内容は、プログラムの公開GitHubリポジトリで確認できます。賞金は、受賞者の選択に応じて、TRON（TRC-20）上のUSDTまたはイーサリアム（ERC-20）上のUSDCで支払われます。 詳細については、www.hejustinsun.com/prize をご覧ください。 ジャスティン・サン・オフィスについて ジャスティン・サン・オフィスは、テクノロジー、ブロックチェーン、人工知能、科学研究、投資、芸術、宇宙探査にわたるジャスティン・サンのグローバルなビジネス、慈善活動、および公共イニシアチブを支援しています。

ジャスティン・サン氏は、グレナダの世界貿易機関（WTO）大使および元常駐代表であり、TRONの創設者です。TRONはステーブルコイン革命を牽引する主要なブロックチェーンであり、設立以来13兆ドルを超える取引高を処理してきました。世界の新興市場では、人々がTRON上のUSDTを利用してグローバルな金融システムにアクセスしています。

アリババ創業者のジャック・マー氏の後継者と目されるサン氏は、デジタル資産業界での功績が国際的に認められており、2025年4月には『フォーブス』誌の表紙を飾り、同誌の「30 Under 30」リストにも複数回選出されています。 2025年8月にはブルー・オリジンのNS-34ミッションに搭乗し、史上712人目の宇宙飛行者となりました。彼の関心領域はテクノロジー、投資、慈善活動、アート、ゲーム、宇宙探査など多岐にわたります。

ジャスティン・サン事務局 連絡先： info@hejustinsun.com ジャスティン・サン賞について

ジャスティン・サン賞は、数学、形式検証、AIを活用した科学的発見の進歩を支援するためにジャスティン・サンが設立した学術イニシアチブです。この賞は分散型であり、数学的研究は提出者の名声や評判ではなく、証明そのものの力強さ、厳密さ、検証可能性によって評価されるべきだという原則に基づいて構築されています。

サン氏は、数学と技術によって生み出された富を数学そのものに還元するという長期的な取り組みの一環として、自身の名を冠したこの賞を設立しました。この賞の遺産は、同賞が評価する研究成果の集積と、その発見が時の試練に耐える受賞者たちによって定義されることを意図しています。この賞は、明確に定義された数学的課題と、機械によって検証可能な証明を結びつけています。 その指針となる原則は、開放性、公益、およびオープンソースへのアクセスです。 詳細については、https://www.hejustinsun.com/prize をご覧ください。 お問い合わせ： thejustinsunprize@hejustinsun.com _________________________________________________________________________

Bitcoin.comは、本記事で言及されているコンテンツ、商品、またはサービスを利用したこと、またはそれらに依存したことに起因または関連して生じた、実際の、申し立てられた、または結果的な、いかなる種類の損失、損害、請求、費用、または経費についても、直接的か間接的かを問わず、一切の責任を負わず、また賠償責任を負いません。 当該情報への依存は、あくまで読者自身の責任において行うものとします。