ジャスティン・サン氏、数学的ブレークスルーに100万ドルの賞金を発表

ジュネーブ、スイス — 2026年9月16日 — ジャスティン・サン事務所は、分散型でゼロトラストの学術懸賞システムであるジャスティン・サン賞を発表した。これは問題リストを中心に構築されており、機械による形式的検証を受けた基礎分野でのブレークスルーに基づいて賞が授与される。1つの問題で最大100万米ドルを獲得できる。この賞は、AI時代における科学報酬の形を変え、人間とAIの協働を通じて基礎研究を加速させることを目指している。

また、最初の受賞者も発表され、66の数学的問題に対する解決と形式化された証明が対象となった。最高賞の100万米ドルは、OpenAIの研究チームが三次元ナビエ・ストークス方程式の解の存在と滑らかさを解き、形式的に証明したことに対して授与された。OpenAI自身の発表によると、同社の内部モデルが証明を作成し、GPT-6 AstraがLeanによる形式化と検証を担当した。

ナビエ・ストークス方程式は、流体の動きを記述するもので、N-S方程式とも呼ばれる。これは19世紀にフランスの物理学者クロード＝ルイ・ナビエと、アイルランド生まれのイギリスの数学者ジョージ・ガブリエル・ストークスらによって発展させられ、約200年前に遡る。2000年には、クレイ数学研究所がナビエ・ストークスの存在と滑らかさを7つのミレニアム問題の1つに指定し、100万米ドルの賞金を設けた。

ジャスティン・サン賞は、伝統的な推薦、資格の壁、4年周期、生涯功績に依存しない。その代わりに、賞を数学的問題と機械で検証可能な形式的証明に直接結び付ける。誰でも、対象となるブレークスルーを最初に達成すれば受賞できる。

この賞のビジョンは、「AI時代のノーベル賞」になることであり、より分散化され、形式化され、機械駆動型のモデルを通じて、科学研究とインセンティブの深い変革に対応することである。問題と形式化されたコードのリポジトリは、継続的に維持され、公開更新される。一度リストに載った問題はロックされる。問題は追加のみ可能で、削除されることはない。授与された賞金は、いかなる状況でも返還される必要はない。

現在の問題リストには、ポアンカレ予想、リーマン予想、ゴールドバッハ予想、そして故数学者でウルフ賞受賞者のポール・エルデシュによる未解決問題の多くに関する形式的検証が含まれている。

受賞者には証明書とメダルも贈られる。メダルの縁には、ラテン語で「Quod probatur, solvitur」、つまり「証明されたものは、解かれた」という意味の言葉が刻まれている。

ジャスティン・サン賞は、オープン性、公共の利益、オープンソースという3つの核となる原則に従う。国籍、機関、身元に関係なく、対象となるすべての貢献者に開かれており、人間とAIを平等に扱う。資金は賞とオープンなイニシアティブにのみ使用され、利益のためではない。問題リスト、確認基準、証明、検証資料はGitHubで公開されている。賞の支払い記録は、恒久的な追跡可能性と不変性のためにオンチェーンで記録される。

「個人の名を冠した賞は、世界で最も政治的なものではない」とサン氏は語った。「もっと重要なのは、それが自分自身への答えを与えてくれることだ——私の富は数学に根ざしている。それは数学から生まれ、数学に還るだろう」

公開記録によると、サン氏はテクノロジー、環境保護、災害救援、その他の分野で4500万米ドル以上を寄付している。ジャスティン・サン賞は、彼の慈善活動の中心的な焦点となり、オープンで検証可能なモデルを通じて基礎科学のブレークスルーを支援する。

賞は受賞者の選択に基づき、TRON上のUSDT（TRC-20）またはイーサリアム上のUSDC（ERC-20）で支払われる。

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

ジャスティン・サン事務所は、テクノロジー、ブロックチェーン、人工知能、科学研究、投資、アート、宇宙探査におけるサン氏のグローバルなビジネス、慈善活動、公的イニシアティブを支援している。

ジャスティン・サン氏は、グレナダの大使であり、世界貿易機関への元常駐代表を務めている。また、ステーブルコイン革命のリーディングブロックチェーンであるTRONの創設者でもあり、創設以来13兆ドル以上の取引高を処理している。新興市場では、人々はTRON上のUSDTを利用して世界の金融システムにアクセスしている。

アリババの創業者ジャック・マーの弟子であるサン氏は、2025年4月のフォーブス表紙プロフィールや、フォーブス30アンダー30リストへの複数回の掲載など、デジタル資産分野での業績で国際的に認められている。2025年8月には、ブルーオリジンのNS-34ミッションに搭乗し、史上712人目の宇宙旅行者となった。彼の幅広い関心には、テクノロジー、投資、慈善活動、アート、ゲーム、宇宙探査が含まれる。

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

ジャスティン・サン賞は、数学、形式的検証、AI支援による科学的発見を推進するためにサン氏が設立した学術的イニシアティブです。分散型であり、提出者の名声ではなく、証明自体の強度、厳密さ、検証可能性によって数学的業績を評価します。

サン氏は、数学とテクノロジーを通じて生み出された富を数学に還すという長期的なコミットメントとして、自身の名を冠した賞を設立しました。その遺産は、認められた業績と、その発見が永続する受賞者によって定義されることを意図しています。この賞は、定義された数学的課題を機械で検証可能な証明に結び付けます。その指針となる原則は、オープン性、公共の利益、オープンソースへのアクセスです。