孫宇晨賞がNeel Somaniを最新の受賞者として確認！JSP-000239とJSP-000327の2つの数学問題を解決

暗号通貨界(120btc.CoM)：北京時間10月28日の夜、孫宇晨賞の公式ソーシャルアカウントが最新の受賞者特集を正式に発表し、著名な量子研究者Neel Somaniがこの賞を受賞したことを確認しました。彼は問題集のJSP-000239号とJSP-000327号の2つの難問の公式認定解決者となりました。公式の名誉リストには、彼が2026年度の数学問題解決者として正式に掲載され、対応するコードの形式的検証者と並行して記録されています。

カリフォルニア大学バークレー校を卒業し、数学、コンピュータサイエンス、ビジネス管理の3つの学位を持つ学際的な背景を持つSomaniは、トップヘッジファンドのCitadelで量子研究者として勤務していました。彼の学術成果は、USENIX SecurityやOOPSLAなどのコンピュータシステムのトップ会議に選ばれたことがあります。以前、彼は形式的な対話証明ツールLeanを使用して、CPythonの基盤となるソートアルゴリズムの性能劣化のバグを特定しました。

最初の難問JSP-000327を解決する際、特定の制約条件下で異なる中央二項式係数の積の間に有限個の等式が存在するかどうかを探求するために、彼は伝統的な数学的推論と最先端のアルゴリズムを深く結びつける革新的なアプローチを取りました。彼はGPT 5.2 Proモデルに命題を入力して初期の組合せ論の手がかりを得た後、厳密な手動代数演算を通じて命題の成立根拠を検証しました。この解法は、専門の学術フォーラムに提出された夜に、数学者Daniel Larsenによって実質的な独立検証を受け、その後Harmonicチームが開発した数学ツールAristotleが対応するLean形式的コードを自動生成し、自然言語の推測から機械可読の証明への完全な閉ループを実現しました。

大学チームを組織して問題を解決

最初の戦いに成功した後、Somaniは個人研究を迅速に工業化された人間と機械の協力プロジェクトに拡大しました。彼はカリフォルニア大学バークレー校、ノースウェスタン大学、ライス大学などの優秀な学部生と共に特別な問題解決チームを結成し、エルデシュ（Erdős）オープンソース問題集に対して大規模な言語モデルを全面的に接続し、体系的なカーペット式スクリーニングを展開しました。

この流れ作業の攻撃システムの下で、チームは2つ目の難問JSP-000239を成功裏に解決しました。これは、無限残余類のカバーが有限の部分族によって測度密度で均一に近づくことができるかどうかを検証するものでした。通過した論理パスは、チームによってAristotleツールにより基盤となる形式的コードに変換されました。方法論的に価値があるのは、Somaniが彼の個人技術ブログでAI大モデルが複雑な数学的論理を解決する際に頻繁に発生する偏差に対する「失敗事例本体論」を体系的に蓄積し、オープンソース化したことです。これは、学界が形式的推論におけるAIのボトルネックを正確に特定するのを助けることを目的としています。Somaniは受賞のスピーチで孫宇晨チームの支援に感謝し、過去1年間のAIの数学的推論の進展が注目に値することを強調しました。また、コードの形式化は純粋な数学定理の審査だけでなく、一般的なソフトウェアシステムの絶対的な正確性を保証する重要な工業ツールにもなると述べました。

ブロックチェーン上の資金の閉ループ規範的配布メカニズム

候補者の指名から正式な名誉の殿堂への進出まで、全体の審査システムは厳密なブロックチェーンとオープンソースコミュニティの監査規範に従っています。GitHubの公式報酬コードリポジトリにおける5051番の提案記録によれば：

• ノード1：2つの問題の解決候補案は9月30日に正式に提出され、公開審議期間に入りました。

• ノード2：14日のオープンソースコミュニティによる同行評価が異議なく終了した後、10月14日に正式に最終受賞名簿に移され、プロジェクトの発起人である孫宇晨も同日、2つの問題が形式的検証に成功したことを外部に確認しました。

• ノード3：北京時間10月28日の夜、公式が受賞者の深層インタビューを正式に発表し、解決現場の詳細を完全に公開しました。

財務および報酬の支払いメカニズムに関して、この賞は明確な権限と責任の分割ルールを設けています。公式の詳細によれば、各問題の報酬プールは解決者が70%、Lean形式的コードの翻訳者が30%の割合で厳格に分割されます。同じ学者が2つの職能を独立して兼任する場合、全額の報酬を独占することができます。最高レベルのPinnacle賞の金額は100万ドルに達し、他のレベルは難易度評価に応じて実施され、すべての報酬はUSDTとUSDCの2つの主流の準拠したステーブルコインを通じてブロックチェーン上で支払われます。ネットワーク詐欺やプライバシー漏洩のリスクを防ぐために、公示期間が終了した後、受賞者は公式の暗号メールチャネルを通じて身分情報と受取先住所を提出し、オフラインでの確認を完了する必要があります。GitHubの公開ディスカッションエリアに秘密鍵やブロックチェーンアドレスを投稿することは禁止されています。

本コンテンツは、一般的な情報提供のみを目的としたものであり、金融、投資、法律、または税務に関する助言を構成するものではありません。ここに記載されているイベント、報酬、オンラインキャンペーン、またはそれらに関連する情報は、暗号資産の購入、売却、取引、その他いかなる取引の推奨、勧誘、または招待とみなされるべきではありません。暗号資産は価格変動が非常に大きく、損失が発生する可能性があります。WEEXのサービス、プロダクト、および関連イベントの提供状況は、地域によって異なる場合があります。お客様は、ご自身の参加が適用される現地の法令を遵守していることを自ら確認する責任を負うものとします。