スイス、ジュネーブ — 2026年10月5日 — ジャスティン・サン事務局は本日、ジャスティン・サン賞の最新受賞者を発表した。独立研究者のWouter van Doorn、数学博士課程の学生である湯泉宇、南京の東南大学の数学研究者である李陽陽の3名である。彼らは6つのエルデシュ問題への貢献により表彰された。
Wouter van Doornは独立した数論研究者であり、2010年に学部生として数学の研究を始め、修士号を取得して学界を離れた後も共同研究と論文発表を続けた。湯泉宇は中国科学技術大学の数学博士課程の学生であり、その研究は数論、組合せ論、AI支援による数学的発見に及ぶ。
エルデシュ問題とは、ハンガリーの数学者ポール・エルデシュによって提起され、あるいは広められた、数、パターン、その他の数学的構造に関する数学的問題である。しばしば述べるのは簡単だが解くのは難しく、数論と組合せ論の研究を形作るのに貢献してきた。中には何十年も未解決のままのものもある。マンチェスター大学の数学者で王立協会大学研究フェローであるThomas Bloomによって編纂・維持されているエルデシュ目録には、1,200以上の問題が収められている。
Van Doornと湯は、南京の東南大学数学部の李陽陽と協力してエルデシュ問題#650を解決し、指定された区間内で常に異なる倍数と一致させることができる整数の個数を正確に決定した。Van Doornはまた、数学的推論を検証するソフトウェアであるLeanにおいて、コンピュータで検証可能な証明を#369、#457、#469について作成した。#369は制限された素因数を持つ連続する整数に関するもの、#457は連続する整数の短い並びが集合的に与えられた範囲のすべての素数を含み得るかどうかに関するもの、#469は自身の約数の和として表せる特別なクラスの数の逆数の総和が有限になるかどうかに関するものである。湯は別途#1044を解決し、多項式によって定義される領域の境界長の鋭い下限を確立し、李とともに、より大きなチームによる#1196の解決に貢献した。#1196は、どの要素も他の要素を割り切らない整数の集合上の重み付き和を境界付けるものである。
#650に関する彼らの研究は、人間の判断とAIがどのように互いを補完できるかの具体例を示している。ChatGPTは証明戦略の開発を助け、数学的推論のためのAIシステムであるAristotleはLean形式化の際のギャップを修復した。その後、研究者たちは議論を簡素化し、最終的な証明と解説を執筆した。
「この経験から、公開フィードバックがどのように研究課題を鋭くするか、またAI支援による発見がどのように数学的判断、協力、厳密な検証を組み合わせることができるかを学びました」と湯は述べた。
これらはプログラムの最初の確認された受賞であり、数学的発見と、証明を独立に検証可能にするために必要な作業の両方を称えるものである。ジャスティン・サン賞、その問題目録、受賞者の貢献に関する情報は、プログラムの公開GitHubリポジトリを通じて入手できる。賞金は受賞者の選択に基づき、TRON上のUSDT（TRC-20）またはEthereum上のUSDC（ERC-20）のいずれかで支払われる。詳細については、www.hejustinsun.com/prizeをご覧ください。
ジャスティン・サン事務局について
ジャスティン・サン事務局は、テクノロジー、ブロックチェーン、人工知能、科学研究、投資、芸術、宇宙探査にわたるジャスティン・サンのグローバルなビジネス、慈善、公共の取り組みを支援している。
ジャスティン・サンは、グレナダの世界貿易機関大使および元常駐代表であり、TRONの創設者である。TRONはステーブルコイン革命をリードするブロックチェーンであり、創設以来13兆ドル以上の取引量を処理している。世界の新興市場では、人々がTRON上のUSDTに依存してグローバル金融システムにアクセスしている。
アリババ創業者ジャック・マーの弟子であるサンは、デジタル資産業界での功績により国際的に認められており、2025年4月のフォーブス誌表紙プロフィールや、フォーブス30アンダー30リストへの複数回の掲載などがある。2025年8月、彼はブルーオリジンのNS-34ミッションで飛行し、歴史上712人目の宇宙旅行者となった。彼の幅広い関心には、テクノロジー、投資、慈善、芸術、ゲーミング、宇宙探査が含まれる。ジャスティン・サン事務局 連絡先：info@hejustinsun.com ジャスティン・サン賞について ジャスティン・サン賞は、数学、形式検証、AI支援による科学的発見の進歩を支援するためにジャスティン・サンが設立した学術的取り組みである。この賞は分散型であり、数学的成果は提出者の威信や評判ではなく、証明そのものの強さ、厳密さ、検証可能性によって判断されるべきであるという原則に基づいて構築されている。ジャスティン・サンは、数学とテクノロジーを通じて生み出された富を数学そのものに還元する長期的なコミットメントとして、自らの名を冠した賞を設立した。その遺産は、それが認める成果の集積と、その発見が時の試練に耐える受賞者たちによって定義されることを意図している。この賞は、明確に定義された数学的課題を機械検証可能な証明へと結びつける。その指針となる原則は、開放性、公共の利益、オープンソースアクセスである。詳細についてはhttps://www.hejustinsun.com/prizeをご覧ください。連絡先：thejustinsunprize@hejustinsun.com
よくある質問
FAQ エルデシュ問題に関する人間とAIの協力に対するジャスティン・サン賞の新ラウンド
Q1 ジャスティン・サン賞とは何ですか
暗号資産起業家のジャスティン・サンが資金提供する賞で、数学の問題、特に有名なエルデシュ問題に関連するものを解いた人に報酬を支払うものです
Q2 エルデシュ問題とは何ですか
伝説的なハンガリーの数学者ポール・エルデシュによって提起され、あるいは広められた大規模な未解決数学問題の集合です。多くは述べるのは簡単ですが解くのは非常に困難です
Q3 この賞の今回のラウンドの新しさは何ですか
今回のラウンドは、人間とAIが協力して解決した解答、たとえば人がChatGPTや証明支援ツールのようなAIモデルを使って問題を解いた場合を特に報奨します
Q4 受賞するにはAIを使わなければなりませんか
今回のラウンドでははい。この賞は人間とAIの協力を対象としているため、純粋に人間による解答や純粋にAIが生成しただけのものは資格を満たさない場合があります
Q5 何が人間とAIの協力と見なされますか
人とAIシステムがそれぞれ意味のある形で貢献するあらゆる形態、たとえばAIが証明の手順を提案し、人間がそれを検証し、修正し、洗練させる場合です
Q6 誰が参加できますか
一般には誰でも、学生、趣味家、プロの数学者などです。年齢、居住地、資格制限については公式ルールを確認してください
Q7 賞金はいくらですか
賞金額はラウンドや問題の難易度によって異なってきました。正確な金額は公式発表を確認してください
Q8 どの問題が対象ですか
通常はエルデシュ問題データベースの問題、または賞とともに公表される特定のリストの問題です。すべての未解決問題が対象となるわけではありません
Q9 解答はどのように提出しますか
通常は賞の発表に記載された公式提出フォームまたはメールを通じて、証明とAIをどのように使用したかの説明を提出します
Q10 AIは特定のツールでなければなりませんか
いいえ、ほとんどのラウンドでは、使用したものを文書化している限り、大規模言語モデル、定理証明器、カスタムシステムなど任意のAIツールを許可しています
Q11 AIの役割を説明する必要がありますか
はい。主催者は通常、AIが何をし、あなたが何をしたかについて明確な説明を求めます。それにより協力が透明になります
Q12 AIの答えが間違っていた場合はどうなりますか
それはあなたの責任です。人間がすべての手順を確認する責任があります。Un