初回の66の賞金問題 @justinsuntron は、Justin Sun賞の最初の66の賞金問題を発表し、Pinnacleカテゴリの問題には最大100万ドルの報酬が設定されています。 しかし、興味深いのは報酬だけではありません。 その背後にある新しいモデルです： 解決 → 形式化 → 検証 → 報酬 1. 証明者：70％ 数学的問題を解決した人物。 2. 形式化者：30％ Leanを用いて証明を機械検証可能な形式に変換した人物。 1人が両方を担当した場合、賞金の100％を受け取ることができます。 解決策が人間、AI、または人間＋AIのいずれから来たかは関係ありません。 重要なのは、Leanが証明を形式的に検証できるかどうかです。 これはAI時代において特に興味深いことです。 AIが正しいように見える証明を生成するのは一つの話です。 機械がその証明のすべてのステップを検査するのは別の話です。 初回のリストにはすでに、Pinnacleカテゴリにナビエ–ストークス方程式が含まれており、解決側にはOpenAIチーム、Lean検証側にはOpenAIが名を連ねています。 これはJustin Sun賞のオリジナルのビジョンを現実のものにしています： 数学 × AI × 形式検証 × ブロックチェーン 66の問題は始まりにすぎません。 より大きな問いは： 数学的ブレークスルーが、オープンで、インセンティブ付きで、機械検証可能なタスクになったとき、何が起こるでしょうか？