Justin Sun PrizeとMathDB、50問のパイロットプログラムを開始

本日、Office of Justin Sunは、CaltechのTony Yue Yu教授とそのチームが開発した数学研究プラットフォームMathDBとともに、Justin Sun Prizeのパイロットプログラムを発表した。

Justin Sun Prizeは、分散型・形式化・機械駆動のアプローチにより科学研究とインセンティブの深い変化に対応し、「AI時代のノーベル賞」となることを目指している。個別の問題に対する賞金は、賞の規約と資格条件に応じて最大100万ドルになる場合がある。

この提携により、MathDBを通じた提出・審査システムが構築される。MathDBは解答の提出を受け付け、Leanによる形式化の検証を行い、解説資料を審査する。Justin Sun Prizeは、資格、帰属、優先順位、適用される賞の規約を別途評価する。

「AIは数学を探求できる速度を変えつつあるが、速度だけでは科学的進歩とはならない」とJustin Sun Prize創設者のJustin Sun氏は述べた。「重要な機会は、人間の洞察力と機械知能が厳密性を損なうことなく協働できる枠組みを作ることにある。MathDBとの協働により、数学的発見と機械検証可能な証明を同じプロセスに組み込むことができ、これが将来の発見に向けたより厳密なモデルの定義に役立つと私たちは考えている。」

このパイロットプログラムは、4つの賞の階層にわたる50の問題を対象とし、問題ごとの賞金総額は最大100万ドルに達する。最上位層には、P versus NP、リーマン予想、ヤン＝ミルズ理論の存在と質量ギャップ、ホッジ予想、グローバル・ラングランズ関手性、バーチ＝スウィンナートン＝ダイアー予想などが含まれる。MathDBとJustin Sun Prizeは、問題の完全なリストと適用される賞の規約を公開する予定である。

すべての賞は、完全な資格審査、マネーロンダリング防止（AML/制裁）規制への遵守、およびhttps://www.hejustinsun.com/prizeに掲載されている公式プログラム規約に従うことを条件とする。

高度な研究の裾野を広げるため、MathDBのパイロットプログラムは、数学的問題の解答だけでなく、その解答の明快で説得力のある説明に対しても報酬を支払う。報酬は3つの部分に分かれる：数学的解答に50%、Leanによる形式化に30%、条件を満たす解説に20%。

MathDBは、数学的知識をより簡単に整理・接続・拡張できるように設計された、数学的定義、定理、予想、未解決問題に関する大規模なコミュニティデータベースである。このプロジェクトには、Leanによる形式化と自動証明検証に加え、数学的解説とそれを支える研究資料が含まれる。CaltechのTony Yue Yu教授と彼のチームが、このパイロットの科学的側面を監督する。

「基礎的な数学の問題を解くことは、しばしば元の問題への答え以上のものを生み出す」とYu氏は述べた。「そのプロセスは、予期しないつながりを明らかにし、強力なツールを導入し、まったく新しい研究の方向性を切り開くことができる。これらの発展は、世代や分野を超えて影響を及ぼす可能性がある。Justin Sun Prizeは、挑戦的な問題に注目を集め、それに取り組む研究者を支援し、知識の公的な普及を促進することで、この探求の精神を称えている。Justin Sun Prizeとの協働は、分散型で厳密かつ検証可能なアプローチによる基礎研究の追求が、発見と科学的進歩のペースを加速させ、人類文明の進歩に貢献できるという信念に基づいている。」

問題の完全なリスト、提出基準、審査手順は、MathDB（https://mathdb.com/）およびJustin Sun Prize（https://www.hejustinsun.com/prize）に掲載される。

Office of Justin Sunについて

Office of Justin Sunは、テクノロジー、ブロックチェーン、AI、科学研究、投資、アート、宇宙探査におけるJustin Sunの世界的なビジネス、慈善活動、公的事業を支援している。

Justin Sun氏は、グレナダのWTO大使および元常駐代表を務め、TRONを設立した。TRONはステーブルコイン革命を牽引しており、ローンチ以来13兆ドル超の取引高を処理している。新興市場では、人々はTRON上のUSDTを使って世界の金融システムに参加している。

Alibaba創業者Jack Maの弟子であるSun氏は、2025年4月のForbesの表紙プロフィールや複数回のForbes 30 Under 30選出など、デジタル資産分野の活動で国際的な評価を受けている。2025年8月にはBlue OriginのNS-34ミッションに搭乗し、宇宙に行った712人目となった。彼の関心は、テクノロジー、投資、慈善活動、アート、ゲーム、宇宙探査に及んでいる。

Justin Sun Prizeについて

Justin Sun Prizeは、数学、形式検証、AI支援による科学的発見の進展を促進するためにJustin Sun氏が設立した学術プログラムである。これは分散型であり、数学的業績は、提出者の名声や評判ではなく、証明の強さ、厳密性、検証可能性によって評価されるべきという考えに基づいている。

Sun氏は、数学とテクノロジーによって生み出された富を数学に還元するという長期的な誓約として、自身の名を冠したこの賞を設立した。その遺産は、この賞が称える業績と、その発見が永続する受賞者によって決まるだろう。この賞は、明確に定義された数学的課題と機械検証可能な証明を結びつける。その中核となる原則は、開放性、公共の利益、オープンソースへのアクセスである。

詳細はhttps://www.hejustinsun.com/prizeでご覧いただける。