今回非常に興味深い、Justin Sunによる別のプロジェクトは、$TRXやDeFiの価格とは何の関係もありません。代わりに、数学＋AI＋オープンソースに焦点を当てています。

最近、@justinsuntron が#JustinSunPrizeの「The Inaugural 66 Prize Problems（第1回66問の賞問題）」を立ち上げました。この賞のコンセプトは、従来の学術賞とはかなり異なります。なぜなら、この賞は「あなたが誰か、どの大学出身か、有名かどうか」に注目しないからです。

本当に重要なのは次の点です：

問題を解けるか、そして証明を機械で検証できるか？

Justin Sun Prizeは、問題リストのモデルを採用しており、世界中の参加者—研究者、開発者、独立した貢献者、人＋AIチーム、AI支援の研究者—に数学の問題を開放します。

私が一番好きなのは、資格を得るための証明がLeanなどによる形式的検証を通過する必要があることです。単に正しいように見える回答を書くだけでは不十分です。証明は、最初から最後まで機械が論理を検証できるものでなければなりません。

要するに：
それは「正しいと信じる」ことではありません。「検証可能な形で証明する」ことです。

最高賞のティアであるPinnacleは、各問題が正常に解かれクローズされるごとに$1,000,000の報酬を提供します。

私にとって最初の66の賞問題で最も興味深い点は、賞金だけではありません。これは、AI時代の研究における新しいモデルを試しているという事実です。

従来は、次のような流れです：
ある人が問題を定式化する → 数学者が証明を開発する → 専門家が読み、レビューする。

しかし、次のように進化する可能性もあります：
人間が考える＋AIが発見を支援する＋機械が証明を検証する＋オープンソースにより、その後誰もがレビューできる
このモデルが成功すれば、個人や小さなチーム、そして名門大学の外にいる人々にも、世界水準の問題を解くチャンスが増えるかもしれません。結局のところ、測られるのは評判ではなく、証明の質です。

@JustinSunPrize @justinsuntron
#JustinSunPrize #TGF #TRONGlobalFriends #TRON