ジャスティン・サン氏、「ジャスティン・サン賞」を設立、数学から生まれた資産を数学に還元

ジャスティン・サン氏、「ジャスティン・サン賞」を設立

2026年9月16日ー ジャスティン・サン氏のオフィスはジャスティン・サン賞の創設を発表した。同賞は「課題リスト」に基づくゼロトラスト型の分散型アカデミック・バウンティ機構で、基礎分野における革新的成果と機械形式検証を受賞基準とし、単一の課題に対して最大100万米ドルの懸賞金を提供する。同賞は、AI時代における科学的報酬の再定義を目指し、人間とAIの協働を通じて基礎科学研究の加速化を実現させることを目指している。

ジャスティン・サン賞の第1期受賞者リストも同時に発表された。66の数学的課題に関する解答と形式検証済みの証明が評価された。最高賞となる100万米ドルは、3次元ナビエ・ストークス方程式の存在性と滑らかさに関する課題の解答と形式検証証明を達成したOpenAIの研究チームに授与された。OpenAIが公開した情報によれば、当該証明は同社内部モデルにより生成され、Lean形式化と検証はGPT-6 Astraが完了した。

当該課題はナビエ・ストークス方程式に関するもので、同方程式は流体の運動を記述し、一般的にNS方程式と略称される。同方程式は19世紀にフランスの物理学者クロード・ルイ・ナビエ、アイルランド系イギリス人数学者ジョージ・ガブリエル・ストークスらにより開発され、約200年の歴史を有する。2000年には、クレイ数学研究所がナビエ・ストークス方程式の存在性と滑らかさの問題をミレニアム懸賞問題の一つに認定し、その解決に対して100万米ドルの報奨金を提示した。

ジャスティン・サン賞は従来の推薦制度や職歴基準による参加障壁を設けておらず、4年周期や生涯成就の賞与時期に従わない。代わりに、受賞資格を数学的課題と機械検証可能な形式検証済み証明に直結させている。いかなる者であっても、資格を有する革新的成果を初めに達成すれば、当該賞金を受賞できる。

ジャスティン・サン賞の構想は、AI時代における「ノーベル賞」となることであり、新時代における科学研究と報奨制度の深刻な転換に対して、より分散型で形式的、かつ機械駆動型の方式で対応することを目指している。数学課題と形式検証コードのリポジトリは、継続的に維持・公開更新される。いったん課題が登録されると変更不可となり、課題の追加のみ可能で、削除はできない。受賞賞金は、いかなる事情下においても返却義務を負わない。

現在の課題リストには既に、ポアンカレ予想の形式検証、リーマン予想、ゴールドバッハ予想、および故ポール・エルデシュ数学者兼ウルフ賞受賞者が生涯において提唱した多数の未解決問題が含まれている。

受賞者には賞金に加えて、証書とメダルが授与される。メダルの側面には「Quod probatur, solvitur」というラテン語の銘文が刻まれており、「証明されたもの、即ち報われる」を意味する。

ジャスティン・サン賞は、開放性、公益性、オープンソースの3つの基本原則に従う。国籍、所属機関、身分に基づく制限を設けず、人間とAIを区別することなく、あらゆる適格な貢献者に開放されている。資金は専ら賞金授与とオープン・イニシアティブに充当され、営利目的には充てられない。課題リスト、確認基準、証明、検証資料はすべてGitHubを通じて公開され、賞金支給記録はオンチェーンで記録され、永続的なトレーサビリティと改ざん防止が実現される。

「ある人物にちなんで名付けられた賞ほど、政治的でないものはない」とサン氏は述べた。「さらに重要なのは、それが自分自身に対する答えを与えてくれるということだ。わが財宝は数学に根ざしている。数学から生まれ、数学に帰るのだ」。

公開記録によると、サン氏は技術、環境保護、災害救援などの分野で4,500万米ドルを超える寄付を行っている。ジャスティン・サン賞は、サン氏の慈善活動の中心的焦点となり、開放的で検証可能なモデルを通じて基礎科学における革新的成果の支援を継続する。

受賞者は、選択に基づいてTRON上のUSDT（TRC-20）またはEthereum上のUSDC（ERC-20）での支給を受ける。
詳細については、www.hejustinsun.com/prizeを参照。

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

ジャスティン・サン賞は、数学、形式検証、AI支援による科学的発見の進展を支援するためにジャスティン・サン氏により創設されたアカデミック・イニシアティブである。同賞は分散型であり、数学的業績は提出者の名声や評判ではなく、証明そのものの強度、厳密性、検証可能性によって評価されるべきという原則を中心として構築されている。

ジャスティン・サン氏は、数学と技術を通じて創出された資産を数学そのものに還元するという長期的公約として、みずからの名前で当該賞を創設した。その遺産は、同賞が認識する業績の集合体と、その発見が時間の試練に耐える受賞者によって定義されることを意図している。同賞は明確に定義された数学的課題と機械検証可能な証明を結びつける。その基本原則は、開放性、公益性、オープンソース・アクセスである。

詳細についてはhttps://www.hejustinsun.com/prizeを参照。

連絡先

thejustinsunprize@hejustinsun.com