#justinsunprize
justinsunprize
閲覧回数 37,210
21人が討論中
注目
最新
·
--
Justin Sun Prizeの第1回受賞者が正式に決定しました👏
Erdős catalogueの問題を解決したWouter van Doorn、Yanyang Li、Quanyu Tangの皆さん、おめでとうございます。これは、証明・検証・確認が実際に可能な数学的成果に報奨を与えるという、明確な理念を持つプロジェクトにとって、また一つ重要なマイルストーンとなります。
Justin Sun Prizeで興味深いのは、参加者の知名度や所属大学、ステータスを重視するのではなく、公開された問題リストを用い、検証可能な成果に重点を置いている点です。数学の問題を解く人だけでなく、その解答を機械で検証できるLean Proofに変換するのを支援する人も参加しています。
現在、このプロジェクトのProblem Bankには1,000問を超える問題が登録されており、候補者、検証の証拠、そして確認済みの受賞に関する情報が公開されています。
#TRONGlobalFriends #TGF #Tron #justinsunprize #formalverification
Justin Sun Prizeの第1回受賞者が正式に決定しました👏
Erdős catalogueの問題を解決したWouter van Doorn、Yanyang Li、Quanyu Tangの皆さん、おめでとうございます。これは、証明・検証・確認が実際に可能な数学的成果に報奨を与えるという、明確な理念を持つプロジェクトにとって、また一つ重要なマイルストーンとなります。
Justin Sun Prizeで興味深いのは、参加者の知名度や所属大学、ステータスを重視するのではなく、公開された問題リストを用い、検証可能な成果に重点を置いている点です。数学の問題を解く人だけでなく、その解答を機械で検証できるLean Proofに変換するのを支援する人も参加しています。
現在、このプロジェクトのProblem Bankには1,000問を超える問題が登録されており、候補者、検証の証拠、そして確認済みの受賞に関する情報が公開されています。
#TRONGlobalFriends #TGF #Tron #justinsunprize #formalverification
Erdős catalogueの問題を解決したWouter van Doorn、Yanyang Li、Quanyu Tangの皆さん、おめでとうございます。これは、証明・検証・確認が実際に可能な数学的成果に報奨を与えるという、明確な理念を持つプロジェクトにとって、また一つ重要なマイルストーンとなります。
Justin Sun Prizeで興味深いのは、参加者の知名度や所属大学、ステータスを重視するのではなく、公開された問題リストを用い、検証可能な成果に重点を置いている点です。数学の問題を解く人だけでなく、その解答を機械で検証できるLean Proofに変換するのを支援する人も参加しています。
現在、このプロジェクトのProblem Bankには1,000問を超える問題が登録されており、候補者、検証の証拠、そして確認済みの受賞に関する情報が公開されています。
#TRONGlobalFriends #TGF #Tron #justinsunprize #formalverification
95
·
--
🏆 THE JUSTIN SUN PRIZE（孫宇晨賞）
✦ なぜジャスティン・サン賞が設立されたのか？
TRON創設者のジャスティン・サン氏（@justinsuntron）が、自身の個人資産を数学研究へ還元するために設立した賞です！
設立の背景には、同氏が公開書簡で語ったこんな思いがあります。
💬 「富は数学から生まれた。だからこそ、数学へ還元すべきだ。」
今回の賞で面白いのは、単純に難しい数学問題を解いた人だけが評価されるわけではないということです👀
主に評価されるのは以下の2つ！
✅ 数学問題の解決や、本質的な研究の進展 ✅ その成果をAIなどの機械でも検証できる形式へ変換する取り組み（形式検証）
つまり、数学の新しい発見だけでなく、その正しさを機械で確認できるようにすることも評価されます。
さらに、人間とAIが協力して生み出した成果も、適切に評価していくことを目指しています🤝
数学研究の発展だけでなく、AIと人間が一緒に数学の未来を切り開いていく。
そんな取り組みを継続的に支援するのが、今回のJustin Sun Prizeです🔥
#JustinSunPrize
#TRONGlobalFriends #TGF
@TRONDAO
@TronDao_JPN
@justinsuntron
https://x.com/justinsunprize/status/2102664015692562920?s=46&t=4eHd0fxsg3qDAkvAzm2QAQ
🏆 THE JUSTIN SUN PRIZE（孫宇晨賞）
✦ なぜジャスティン・サン賞が設立されたのか？
TRON創設者のジャスティン・サン氏（@justinsuntron）が、自身の個人資産を数学研究へ還元するために設立した賞です！
設立の背景には、同氏が公開書簡で語ったこんな思いがあります。
💬 「富は数学から生まれた。だからこそ、数学へ還元すべきだ。」
今回の賞で面白いのは、単純に難しい数学問題を解いた人だけが評価されるわけではないということです👀
主に評価されるのは以下の2つ！
✅ 数学問題の解決や、本質的な研究の進展 ✅ その成果をAIなどの機械でも検証できる形式へ変換する取り組み（形式検証）
つまり、数学の新しい発見だけでなく、その正しさを機械で確認できるようにすることも評価されます。
さらに、人間とAIが協力して生み出した成果も、適切に評価していくことを目指しています🤝
数学研究の発展だけでなく、AIと人間が一緒に数学の未来を切り開いていく。
そんな取り組みを継続的に支援するのが、今回のJustin Sun Prizeです🔥
#JustinSunPrize
#TRONGlobalFriends #TGF
@TRON DAO
@TronDao_JPN
@justinsuntron
https://x.com/justinsunprize/status/2102664015692562920?s=46&t=4eHd0fxsg3qDAkvAzm2QAQ
✦ なぜジャスティン・サン賞が設立されたのか？
TRON創設者のジャスティン・サン氏（@justinsuntron）が、自身の個人資産を数学研究へ還元するために設立した賞です！
設立の背景には、同氏が公開書簡で語ったこんな思いがあります。
💬 「富は数学から生まれた。だからこそ、数学へ還元すべきだ。」
今回の賞で面白いのは、単純に難しい数学問題を解いた人だけが評価されるわけではないということです👀
主に評価されるのは以下の2つ！
✅ 数学問題の解決や、本質的な研究の進展 ✅ その成果をAIなどの機械でも検証できる形式へ変換する取り組み（形式検証）
つまり、数学の新しい発見だけでなく、その正しさを機械で確認できるようにすることも評価されます。
さらに、人間とAIが協力して生み出した成果も、適切に評価していくことを目指しています🤝
数学研究の発展だけでなく、AIと人間が一緒に数学の未来を切り開いていく。
そんな取り組みを継続的に支援するのが、今回のJustin Sun Prizeです🔥
#JustinSunPrize
#TRONGlobalFriends #TGF
@TRON DAO
@TronDao_JPN
@justinsuntron
https://x.com/justinsunprize/status/2102664015692562920?s=46&t=4eHd0fxsg3qDAkvAzm2QAQ
1
186
·
--
🎯 なぜ「Justin Sun Prize」は誕生したのか？@JustinSun
今回の画像では、Justin Sun Prize（孫宇晨賞）が設立された理由が説明されてる。
数学はJustin Sun氏のキャリアを支えてきた重要な分野。
そこで、自ら資金を拠出して、数学研究と証明の形式検証を支援する賞を設立。
ポイントはここ👇
🧮 数学から得たものを、数学へ還元する
この考えを軸に、
🔹 数学上の難題を解決する研究
🔹 その成果を機械で検証可能な「形式化された証明」にする取り組み
🔹 人間とAIが協力した研究
こうした成果を、それぞれ記録・評価して報酬につなげていく仕組みを目指している。
つまり単なる「賞金付きコンテスト」ではなく、
数学の問題を解くことから、その証明をAIやコンピューターが検証できる形にするところまで支援するのが大きな特徴。
「なぜ新たな賞が誕生したのか？」
その答えは、
自分のキャリアを支えた数学へ、今度は資金と機会という形で還元するため。
そして、人間だけでなくAIとの共同研究も対象にすることで、これからの数学研究の可能性にも目を向けているところが興味深いところだと思う。🧠🤖
@TRONDAO
#JustinSunPrize #TGF #TRONGlobalFriends
🎯 なぜ「Justin Sun Prize」は誕生したのか？@Justin Sun孙宇晨
今回の画像では、Justin Sun Prize（孫宇晨賞）が設立された理由が説明されてる。
数学はJustin Sun氏のキャリアを支えてきた重要な分野。
そこで、自ら資金を拠出して、数学研究と証明の形式検証を支援する賞を設立。
ポイントはここ👇
🧮 数学から得たものを、数学へ還元する
この考えを軸に、
🔹 数学上の難題を解決する研究
🔹 その成果を機械で検証可能な「形式化された証明」にする取り組み
🔹 人間とAIが協力した研究
こうした成果を、それぞれ記録・評価して報酬につなげていく仕組みを目指している。
つまり単なる「賞金付きコンテスト」ではなく、
数学の問題を解くことから、その証明をAIやコンピューターが検証できる形にするところまで支援するのが大きな特徴。
「なぜ新たな賞が誕生したのか？」
その答えは、
自分のキャリアを支えた数学へ、今度は資金と機会という形で還元するため。
そして、人間だけでなくAIとの共同研究も対象にすることで、これからの数学研究の可能性にも目を向けているところが興味深いところだと思う。🧠🤖
@TRON DAO
#JustinSunPrize #TGF #TRONGlobalFriends
今回の画像では、Justin Sun Prize（孫宇晨賞）が設立された理由が説明されてる。
数学はJustin Sun氏のキャリアを支えてきた重要な分野。
そこで、自ら資金を拠出して、数学研究と証明の形式検証を支援する賞を設立。
ポイントはここ👇
🧮 数学から得たものを、数学へ還元する
この考えを軸に、
🔹 数学上の難題を解決する研究
🔹 その成果を機械で検証可能な「形式化された証明」にする取り組み
🔹 人間とAIが協力した研究
こうした成果を、それぞれ記録・評価して報酬につなげていく仕組みを目指している。
つまり単なる「賞金付きコンテスト」ではなく、
数学の問題を解くことから、その証明をAIやコンピューターが検証できる形にするところまで支援するのが大きな特徴。
「なぜ新たな賞が誕生したのか？」
その答えは、
自分のキャリアを支えた数学へ、今度は資金と機会という形で還元するため。
そして、人間だけでなくAIとの共同研究も対象にすることで、これからの数学研究の可能性にも目を向けているところが興味深いところだと思う。🧠🤖
@TRON DAO
#JustinSunPrize #TGF #TRONGlobalFriends
127
証明されたものは、解かれる。
証明されたものは解決される。
#JustinSunPrize が始まる。
https://www.theblock.co/sponsored/2026-09-18-justin-sun-establishes-the-justin-sun-prize-my-wealth-came-from-mathematics-and-will-return-to-mathematics-415271
証明されたものは、解かれる。
証明されたものは解決される。
#JustinSunPrize が始まる。
https://www.theblock.co/sponsored/2026-09-18-justin-sun-establishes-the-justin-sun-prize-my-wealth-came-from-mathematics-and-will-return-to-mathematics-415271
証明されたものは解決される。
#JustinSunPrize が始まる。
https://www.theblock.co/sponsored/2026-09-18-justin-sun-establishes-the-justin-sun-prize-my-wealth-came-from-mathematics-and-will-return-to-mathematics-415271
27
32
23.3k
数学におけるブレークスルーに報いる新しい学術ボウティ（懸賞）プログラム「#JustinSunPrize 」をご紹介します。
貢献者は対象となる問題を解き、Leanで自身の成果を形式化し、賞のオープンソースGitHubリポジトリを通じて機械検証可能な証明を提出できます。
5つの受賞ティアと最高賞100万ドルを用意し、本プログラムは世界中の対象となる貢献者に開かれています。
解け。検証せよ。主張せよ。
詳細はこちら：
https://hejustinsun.com/prize
https://x.com/JustinSunPrize/status/2100319343670354387
数学におけるブレークスルーに報いる新しい学術ボウティ（懸賞）プログラム「#JustinSunPrize 」をご紹介します。
貢献者は対象となる問題を解き、Leanで自身の成果を形式化し、賞のオープンソースGitHubリポジトリを通じて機械検証可能な証明を提出できます。
5つの受賞ティアと最高賞100万ドルを用意し、本プログラムは世界中の対象となる貢献者に開かれています。
解け。検証せよ。主張せよ。
詳細はこちら：
https://hejustinsun.com/prize
https://x.com/JustinSunPrize/status/2100319343670354387
貢献者は対象となる問題を解き、Leanで自身の成果を形式化し、賞のオープンソースGitHubリポジトリを通じて機械検証可能な証明を提出できます。
5つの受賞ティアと最高賞100万ドルを用意し、本プログラムは世界中の対象となる貢献者に開かれています。
解け。検証せよ。主張せよ。
詳細はこちら：
https://hejustinsun.com/prize
https://x.com/JustinSunPrize/status/2100319343670354387
王长鸟:
孙哥在财富自由的另一边等着我
14
13
15.2k
·
--
☀️ おはようございます、みなさん。
昨日、ジャスティン・サン賞について書きました。そして「面白い点が賞金だけではない」ということ、つまり実際に検証できる仕事への報酬を与えるという発想について説明しました。
今朝も、注目する価値のある別のアップデートがあります 👀
ジャスティン・サンは、認定された受賞者の第1ラウンドを発表し、さらに66の賞問題を公開しました。そこにはシンプルな考え方が込められています：
人ではなく、解答に報酬を与える。
私が最も面白いと思うのは、この部分です。
答えと、その証明そのものに焦点が当てられます。証明が人間のものでも、AIのものでも、両者の協働によるものでも構いません。
そして、これによってより大きな問いが生まれます。
AIの時代において、解答を誰が作ったのかを重視すべきなのか、それとも結果が実際に検証でき、再現でき、確認できるかどうかを重視すべきなのか——どちらがより重要なのでしょうか？
この2つはいつも同じではありません。
機械による検証を通過する証明と、より広い学術コミュニティによって形式的に受理される結果は、別の段階で起こり得ます。
私にとっては、ここが「誰が賞を取ったか」以上にずっと面白く感じるところです。
もしAIが数学や研究により本格的に貢献し始めるなら、検証は発見と同じくらい重要になるかもしれません。
まずはコーヒー、そしてこの物語を追いかけるために戻りましょう ☕️
これはまだまだ先がたくさんありそうです。
@TRONDAO @TronDao_THA @justinsuntron
#TRONGlobalFriends #TGF #TRON #JustinSunPrize
☀️ おはようございます、みなさん。
昨日、ジャスティン・サン賞について書きました。そして「面白い点が賞金だけではない」ということ、つまり実際に検証できる仕事への報酬を与えるという発想について説明しました。
今朝も、注目する価値のある別のアップデートがあります 👀
ジャスティン・サンは、認定された受賞者の第1ラウンドを発表し、さらに66の賞問題を公開しました。そこにはシンプルな考え方が込められています：
人ではなく、解答に報酬を与える。
私が最も面白いと思うのは、この部分です。
答えと、その証明そのものに焦点が当てられます。証明が人間のものでも、AIのものでも、両者の協働によるものでも構いません。
そして、これによってより大きな問いが生まれます。
AIの時代において、解答を誰が作ったのかを重視すべきなのか、それとも結果が実際に検証でき、再現でき、確認できるかどうかを重視すべきなのか——どちらがより重要なのでしょうか？
この2つはいつも同じではありません。
機械による検証を通過する証明と、より広い学術コミュニティによって形式的に受理される結果は、別の段階で起こり得ます。
私にとっては、ここが「誰が賞を取ったか」以上にずっと面白く感じるところです。
もしAIが数学や研究により本格的に貢献し始めるなら、検証は発見と同じくらい重要になるかもしれません。
まずはコーヒー、そしてこの物語を追いかけるために戻りましょう ☕️
これはまだまだ先がたくさんありそうです。
@TRON DAO @TronDao_THA @justinsuntron
#TRONGlobalFriends #TGF #TRON #JustinSunPrize
昨日、ジャスティン・サン賞について書きました。そして「面白い点が賞金だけではない」ということ、つまり実際に検証できる仕事への報酬を与えるという発想について説明しました。
今朝も、注目する価値のある別のアップデートがあります 👀
ジャスティン・サンは、認定された受賞者の第1ラウンドを発表し、さらに66の賞問題を公開しました。そこにはシンプルな考え方が込められています：
人ではなく、解答に報酬を与える。
私が最も面白いと思うのは、この部分です。
答えと、その証明そのものに焦点が当てられます。証明が人間のものでも、AIのものでも、両者の協働によるものでも構いません。
そして、これによってより大きな問いが生まれます。
AIの時代において、解答を誰が作ったのかを重視すべきなのか、それとも結果が実際に検証でき、再現でき、確認できるかどうかを重視すべきなのか——どちらがより重要なのでしょうか？
この2つはいつも同じではありません。
機械による検証を通過する証明と、より広い学術コミュニティによって形式的に受理される結果は、別の段階で起こり得ます。
私にとっては、ここが「誰が賞を取ったか」以上にずっと面白く感じるところです。
もしAIが数学や研究により本格的に貢献し始めるなら、検証は発見と同じくらい重要になるかもしれません。
まずはコーヒー、そしてこの物語を追いかけるために戻りましょう ☕️
これはまだまだ先がたくさんありそうです。
@TRON DAO @TronDao_THA @justinsuntron
#TRONGlobalFriends #TGF #TRON #JustinSunPrize
1
155
🏆 Justin Sun Prizeにどう参加しますか？
まず、現在1,022問の数学問題を収録している公式の問題バンクから始めます。
しかし、問題を選ぶだけでは終わりません。
このプログラムは、2つの重要な貢献を認識します。
🧠 出題者（プローバー）は、数学的な結果を導きます。
💻 フォーマライザーは、形式的検証が必要な場合に、受理された証明を機械で検証可能な形に変換します。
同じ人物が両方の役割を担うこともありますし、別の貢献者がそれぞれ完了することもあります。
📚 基本の流れ：
1️⃣ 公式バンクから対象となる問題を選ぶ
2️⃣ 状態と公開されている要件を確認する
3️⃣ 完全な数学的証明を作成する
4️⃣ 必要に応じて結果を形式化する
5️⃣ その問題の公式な提出ルートに従う
6️⃣ 対応する審査・検証プロセスを完了する
⚠️ 重要な区別：
GitHubへの提出や、成功したソフトウェアのビルドだけでは、賞が受賞したことにはなりません。問題ごとに要件・ツール・提出方法が異なり、認定は公開されているルールに従って行われます。
💡 私が特に関心を持っているのは、AI時代のために作られている基準です。
AIは素早く答えを生成できます。数学は、より難しい問いを求めます：
答えのあらゆる手順が証明され、独立して検証できるでしょうか？
人間の推論、AIの支援、そして形式的検証を組み合わせることは、AIがより難しい数学問題に挑戦していくにつれて、ますます重要になっていくかもしれません。
選ぶ。証明する。形式化する。検証する。 🧠⚡
公式サイト：
https://hejustinsun.com/prize
公式GitHub：
https://github.com/TheJustinSunPrize/awards
@justinsuntron @TRONDAO @TronDao_THA
#JustinSunPrize #TRONGlobalFriends #TGF
🏆 Justin Sun Prizeにどう参加しますか？
まず、現在1,022問の数学問題を収録している公式の問題バンクから始めます。
しかし、問題を選ぶだけでは終わりません。
このプログラムは、2つの重要な貢献を認識します。
🧠 出題者（プローバー）は、数学的な結果を導きます。
💻 フォーマライザーは、形式的検証が必要な場合に、受理された証明を機械で検証可能な形に変換します。
同じ人物が両方の役割を担うこともありますし、別の貢献者がそれぞれ完了することもあります。
📚 基本の流れ：
1️⃣ 公式バンクから対象となる問題を選ぶ
2️⃣ 状態と公開されている要件を確認する
3️⃣ 完全な数学的証明を作成する
4️⃣ 必要に応じて結果を形式化する
5️⃣ その問題の公式な提出ルートに従う
6️⃣ 対応する審査・検証プロセスを完了する
⚠️ 重要な区別：
GitHubへの提出や、成功したソフトウェアのビルドだけでは、賞が受賞したことにはなりません。問題ごとに要件・ツール・提出方法が異なり、認定は公開されているルールに従って行われます。
💡 私が特に関心を持っているのは、AI時代のために作られている基準です。
AIは素早く答えを生成できます。数学は、より難しい問いを求めます：
答えのあらゆる手順が証明され、独立して検証できるでしょうか？
人間の推論、AIの支援、そして形式的検証を組み合わせることは、AIがより難しい数学問題に挑戦していくにつれて、ますます重要になっていくかもしれません。
選ぶ。証明する。形式化する。検証する。 🧠⚡
公式サイト：
https://hejustinsun.com/prize
公式GitHub：
https://github.com/TheJustinSunPrize/awards
@justinsuntron @TRON DAO @TronDao_THA
#JustinSunPrize #TRONGlobalFriends #TGF
まず、現在1,022問の数学問題を収録している公式の問題バンクから始めます。
しかし、問題を選ぶだけでは終わりません。
このプログラムは、2つの重要な貢献を認識します。
🧠 出題者（プローバー）は、数学的な結果を導きます。
💻 フォーマライザーは、形式的検証が必要な場合に、受理された証明を機械で検証可能な形に変換します。
同じ人物が両方の役割を担うこともありますし、別の貢献者がそれぞれ完了することもあります。
📚 基本の流れ：
1️⃣ 公式バンクから対象となる問題を選ぶ
2️⃣ 状態と公開されている要件を確認する
3️⃣ 完全な数学的証明を作成する
4️⃣ 必要に応じて結果を形式化する
5️⃣ その問題の公式な提出ルートに従う
6️⃣ 対応する審査・検証プロセスを完了する
⚠️ 重要な区別：
GitHubへの提出や、成功したソフトウェアのビルドだけでは、賞が受賞したことにはなりません。問題ごとに要件・ツール・提出方法が異なり、認定は公開されているルールに従って行われます。
💡 私が特に関心を持っているのは、AI時代のために作られている基準です。
AIは素早く答えを生成できます。数学は、より難しい問いを求めます：
答えのあらゆる手順が証明され、独立して検証できるでしょうか？
人間の推論、AIの支援、そして形式的検証を組み合わせることは、AIがより難しい数学問題に挑戦していくにつれて、ますます重要になっていくかもしれません。
選ぶ。証明する。形式化する。検証する。 🧠⚡
公式サイト：
https://hejustinsun.com/prize
公式GitHub：
https://github.com/TheJustinSunPrize/awards
@justinsuntron @TRON DAO @TronDao_THA
#JustinSunPrize #TRONGlobalFriends #TGF
212
·
--
📢 数学は新たな領域を切り拓く…そして Justin Sun の賞は競争の中心に証明を据える 🏆📐
Justin Sun Prize は、基礎数学における重要な業績に対して、最大 1M ドルの報酬を提供します。焦点は、機械が検証できる公式な証明（formal proofs）です。
🧠 このプログラムには、解法や公式な証明に結びついた 66 の問題が含まれており、さまざまな基礎的な数学の問題に挑戦できます。
💻 要点は、正しい答えに到達することだけではありません。その結果を、ソフトウェアツールで検証可能な Formal Proof に変換することです。これにより、数学とAIの明確な交差点が生まれます。
🤖 発表によれば、最初の受賞者の一部には、Navier-Stokes の問題に関連した仕事についての OpenAI の研究チームが含まれています。
🌍 また参加は、推薦や学術的な肩書き・学位に依存するものではなく、問題が適切な形で解かれ、証明されているかという“貢献そのもの”が重視されます。
🎯 まとめ：この賞は、基礎数学、検証可能な証明、そしてAIを組み合わせることで、数学的業績を称える新しいモデルを提示し、報酬は最大 1M ドルに及びます。 🚀
#TRON #TGF #TRONGlobalFriends
#JustinSunPrize #TRX
@JustinSun @TRONDAO
📢 数学は新たな領域を切り拓く…そして Justin Sun の賞は競争の中心に証明を据える 🏆📐
Justin Sun Prize は、基礎数学における重要な業績に対して、最大 1M ドルの報酬を提供します。焦点は、機械が検証できる公式な証明（formal proofs）です。
🧠 このプログラムには、解法や公式な証明に結びついた 66 の問題が含まれており、さまざまな基礎的な数学の問題に挑戦できます。
💻 要点は、正しい答えに到達することだけではありません。その結果を、ソフトウェアツールで検証可能な Formal Proof に変換することです。これにより、数学とAIの明確な交差点が生まれます。
🤖 発表によれば、最初の受賞者の一部には、Navier-Stokes の問題に関連した仕事についての OpenAI の研究チームが含まれています。
🌍 また参加は、推薦や学術的な肩書き・学位に依存するものではなく、問題が適切な形で解かれ、証明されているかという“貢献そのもの”が重視されます。
🎯 まとめ：この賞は、基礎数学、検証可能な証明、そしてAIを組み合わせることで、数学的業績を称える新しいモデルを提示し、報酬は最大 1M ドルに及びます。 🚀
#TRON #TGF #TRONGlobalFriends
#JustinSunPrize #TRX
@Justin Sun孙宇晨 @TRON DAO
Justin Sun Prize は、基礎数学における重要な業績に対して、最大 1M ドルの報酬を提供します。焦点は、機械が検証できる公式な証明（formal proofs）です。
🧠 このプログラムには、解法や公式な証明に結びついた 66 の問題が含まれており、さまざまな基礎的な数学の問題に挑戦できます。
💻 要点は、正しい答えに到達することだけではありません。その結果を、ソフトウェアツールで検証可能な Formal Proof に変換することです。これにより、数学とAIの明確な交差点が生まれます。
🤖 発表によれば、最初の受賞者の一部には、Navier-Stokes の問題に関連した仕事についての OpenAI の研究チームが含まれています。
🌍 また参加は、推薦や学術的な肩書き・学位に依存するものではなく、問題が適切な形で解かれ、証明されているかという“貢献そのもの”が重視されます。
🎯 まとめ：この賞は、基礎数学、検証可能な証明、そしてAIを組み合わせることで、数学的業績を称える新しいモデルを提示し、報酬は最大 1M ドルに及びます。 🚀
#TRON #TGF #TRONGlobalFriends
#JustinSunPrize #TRX
@Justin Sun孙宇晨 @TRON DAO
1
2
191
ジャスティン・サンの「ジャスティン・サン賞」についての投稿を読んで、これを単なる別の数学の賞だとは思いません。
これは、ブロックチェーン業界の誰かが、暗号資産（クリプト）を可能にした基盤である「数学、暗号学、ハッシュ関数、楕円曲線」に恩返しをするための方法だと捉えています。
数学がなければ、ブロックチェーンは、ガス代が上がり続ける中で、最初のブロックを待つだけの“ホワイトボード上のアイデア”にとどまっていたかもしれません。
ジャスティン・サン賞が面白いのは、年齢や評判、あるいは従来の推薦といったものではなく「成果」に焦点を当てている点です。
ブレークスルーは、人間からでも、AIからでも、あるいはその組み合わせから生まれ得ます。しかし報酬を受け取るには、その証明は最初の行から最後の行まで、誤りなく機械によって形式化され、検証されなければなりません。
簡単に言うと：
→ 立証者がブレークスルーを生み出す。
→ 形式化担当が、それを機械が検証できる形にする。
→ ブロックチェーンが、そのプロセスを公開かつ透明に記録する。
特に気に入っているのは「待機」メカニズムです。数学コミュニティが証明を受け入れると、立証者の名前が最初に記録されます。賞は、その証明が形式的に検証されるまでロックされたままです。
その待機期間は無駄な時間ではありません。数学者、開発者、AI研究者が完了すべき重要なタスクの“公開リスト”になります。
ジャスティン・サンは依然として物議を醸す人物かもしれませんが、評判は言葉だけでは築けません。長年の中で残ったものによって築かれます。
この仕組みが設計どおりに機能するなら、それは、ブロックチェーンのように透明で、数学のように永続的な、知識への長期投資になり得ます。
LFG!!!
#Tron #JustinSunPrize
ジャスティン・サンの「ジャスティン・サン賞」についての投稿を読んで、これを単なる別の数学の賞だとは思いません。
これは、ブロックチェーン業界の誰かが、暗号資産（クリプト）を可能にした基盤である「数学、暗号学、ハッシュ関数、楕円曲線」に恩返しをするための方法だと捉えています。
数学がなければ、ブロックチェーンは、ガス代が上がり続ける中で、最初のブロックを待つだけの“ホワイトボード上のアイデア”にとどまっていたかもしれません。
ジャスティン・サン賞が面白いのは、年齢や評判、あるいは従来の推薦といったものではなく「成果」に焦点を当てている点です。
ブレークスルーは、人間からでも、AIからでも、あるいはその組み合わせから生まれ得ます。しかし報酬を受け取るには、その証明は最初の行から最後の行まで、誤りなく機械によって形式化され、検証されなければなりません。
簡単に言うと：
→ 立証者がブレークスルーを生み出す。
→ 形式化担当が、それを機械が検証できる形にする。
→ ブロックチェーンが、そのプロセスを公開かつ透明に記録する。
特に気に入っているのは「待機」メカニズムです。数学コミュニティが証明を受け入れると、立証者の名前が最初に記録されます。賞は、その証明が形式的に検証されるまでロックされたままです。
その待機期間は無駄な時間ではありません。数学者、開発者、AI研究者が完了すべき重要なタスクの“公開リスト”になります。
ジャスティン・サンは依然として物議を醸す人物かもしれませんが、評判は言葉だけでは築けません。長年の中で残ったものによって築かれます。
この仕組みが設計どおりに機能するなら、それは、ブロックチェーンのように透明で、数学のように永続的な、知識への長期投資になり得ます。
LFG!!!
#Tron #JustinSunPrize
これは、ブロックチェーン業界の誰かが、暗号資産（クリプト）を可能にした基盤である「数学、暗号学、ハッシュ関数、楕円曲線」に恩返しをするための方法だと捉えています。
数学がなければ、ブロックチェーンは、ガス代が上がり続ける中で、最初のブロックを待つだけの“ホワイトボード上のアイデア”にとどまっていたかもしれません。
ジャスティン・サン賞が面白いのは、年齢や評判、あるいは従来の推薦といったものではなく「成果」に焦点を当てている点です。
ブレークスルーは、人間からでも、AIからでも、あるいはその組み合わせから生まれ得ます。しかし報酬を受け取るには、その証明は最初の行から最後の行まで、誤りなく機械によって形式化され、検証されなければなりません。
簡単に言うと：
→ 立証者がブレークスルーを生み出す。
→ 形式化担当が、それを機械が検証できる形にする。
→ ブロックチェーンが、そのプロセスを公開かつ透明に記録する。
特に気に入っているのは「待機」メカニズムです。数学コミュニティが証明を受け入れると、立証者の名前が最初に記録されます。賞は、その証明が形式的に検証されるまでロックされたままです。
その待機期間は無駄な時間ではありません。数学者、開発者、AI研究者が完了すべき重要なタスクの“公開リスト”になります。
ジャスティン・サンは依然として物議を醸す人物かもしれませんが、評判は言葉だけでは築けません。長年の中で残ったものによって築かれます。
この仕組みが設計どおりに機能するなら、それは、ブロックチェーンのように透明で、数学のように永続的な、知識への長期投資になり得ます。
LFG!!!
#Tron #JustinSunPrize
1
97
問題を解くことも証明を形式化することも、評価されるべきです。
それが「#JustinSunPrize 」の構造です。
https://x.com/JustinSunPrize/status/2104485388048007170
問題を解くことも証明を形式化することも、評価されるべきです。
それが「#JustinSunPrize 」の構造です。
https://x.com/JustinSunPrize/status/2104485388048007170
それが「#JustinSunPrize 」の構造です。
https://x.com/JustinSunPrize/status/2104485388048007170
必备小神器888:
老韭菜懂，暴涨前必有恐慌洗盘，拿住筹码别被震下车，黎明前的黑最暗。
15
2
44
31.1k
本人確認中
新しい形式検証パラダイムについての卓越した分析：Sr @Square-Creator-123571426 と #JustinSunPrize が導入したもの。🔴
従来の慈善活動に対して、この分散型モデルはAI時代の速度で純粋な論理を報奨し、人間の真理をブロックチェーン上の $TRX で、機械によって検証され不変のコードへと変換します。
フローとその主要な状態について、視覚的な内訳を提示します。
📚Mgtr. in TIC | David C🔽
新しい形式検証パラダイムについての卓越した分析：Sr @JustinSun と #JustinSunPrize が導入したもの。🔴
従来の慈善活動に対して、この分散型モデルはAI時代の速度で純粋な論理を報奨し、人間の真理をブロックチェーン上の $TRX で、機械によって検証され不変のコードへと変換します。
フローとその主要な状態について、視覚的な内訳を提示します。
📚Mgtr. in TIC | David C🔽
従来の慈善活動に対して、この分散型モデルはAI時代の速度で純粋な論理を報奨し、人間の真理をブロックチェーン上の $TRX で、機械によって検証され不変のコードへと変換します。
フローとその主要な状態について、視覚的な内訳を提示します。
📚Mgtr. in TIC | David C🔽
3
125
🏆 ジャスティン・サン賞が、ソフトウェア開発者と研究者に新たな可能性を切り拓きます！
問題を解くことは重要な第一歩ですが、解決策の正しさを証明することもそれに劣らず大切です。こうした考えに基づき、The Justin Sun Prize（ジャスティン・サン賞）は、革新と精度を両立させる報奨メカニズムを通じて、プログラミングと数学的検証の分野で欠かせない2つの役割を光の当てます。
🔍 賞金はどのように分配されますか？
本プログラムは、賞を2つの主要な仕事に分けることによって設計されています：
🔹 70%：問題解決者（Problem Solver）
提示された問題に対する解決策を見出し、成功した個人またはチームに授与されます。解決策の開発にかけた努力と、求められる結果を達成したことが評価されます。
🔹 30%：形式化者（Lean Formalizer）
解決策を、Leanという数学的に正式な記述へと変換する担当者に割り当てられます。Leanは、数学的証明の正しさを正確に、かつ検証可能な形で確認するために役立つ専門ツールです。
💡 さらに興味深いのは？
同じ個人、または同じチームが2つの仕事の両方を達成できれば、プログラムで定められた条件とルールに従い、賞金の100%を獲得できます。
🔗 詳細および条件はこちら：
hejustinsun.com/prize/rules
#JustinSunPrize #JustinSun
#Tron #TRX #TRONGlobalFriends #TGF @TRONDAO @JustinSun
🏆 ジャスティン・サン賞が、ソフトウェア開発者と研究者に新たな可能性を切り拓きます！
問題を解くことは重要な第一歩ですが、解決策の正しさを証明することもそれに劣らず大切です。こうした考えに基づき、The Justin Sun Prize（ジャスティン・サン賞）は、革新と精度を両立させる報奨メカニズムを通じて、プログラミングと数学的検証の分野で欠かせない2つの役割を光の当てます。
🔍 賞金はどのように分配されますか？
本プログラムは、賞を2つの主要な仕事に分けることによって設計されています：
🔹 70%：問題解決者（Problem Solver）
提示された問題に対する解決策を見出し、成功した個人またはチームに授与されます。解決策の開発にかけた努力と、求められる結果を達成したことが評価されます。
🔹 30%：形式化者（Lean Formalizer）
解決策を、Leanという数学的に正式な記述へと変換する担当者に割り当てられます。Leanは、数学的証明の正しさを正確に、かつ検証可能な形で確認するために役立つ専門ツールです。
💡 さらに興味深いのは？
同じ個人、または同じチームが2つの仕事の両方を達成できれば、プログラムで定められた条件とルールに従い、賞金の100%を獲得できます。
🔗 詳細および条件はこちら：
hejustinsun.com/prize/rules
#JustinSunPrize #JustinSun
#Tron #TRX #TRONGlobalFriends #TGF @TRON DAO @Justin Sun孙宇晨
問題を解くことは重要な第一歩ですが、解決策の正しさを証明することもそれに劣らず大切です。こうした考えに基づき、The Justin Sun Prize（ジャスティン・サン賞）は、革新と精度を両立させる報奨メカニズムを通じて、プログラミングと数学的検証の分野で欠かせない2つの役割を光の当てます。
🔍 賞金はどのように分配されますか？
本プログラムは、賞を2つの主要な仕事に分けることによって設計されています：
🔹 70%：問題解決者（Problem Solver）
提示された問題に対する解決策を見出し、成功した個人またはチームに授与されます。解決策の開発にかけた努力と、求められる結果を達成したことが評価されます。
🔹 30%：形式化者（Lean Formalizer）
解決策を、Leanという数学的に正式な記述へと変換する担当者に割り当てられます。Leanは、数学的証明の正しさを正確に、かつ検証可能な形で確認するために役立つ専門ツールです。
💡 さらに興味深いのは？
同じ個人、または同じチームが2つの仕事の両方を達成できれば、プログラムで定められた条件とルールに従い、賞金の100%を獲得できます。
🔗 詳細および条件はこちら：
hejustinsun.com/prize/rules
#JustinSunPrize #JustinSun
#Tron #TRX #TRONGlobalFriends #TGF @TRON DAO @Justin Sun孙宇晨
112
·
--
記事
Justin Sun Prize（孫宇晨賞）の設立数学の難問を解いたら、その場で報酬がもらえる。
そんな仕組みが本当にできました😳
9月16日、Justin Sunさんが「Justin Sun Prize（孫宇晨賞）」の設立を発表しました。
数学の証明問題に対して報酬を出す、全く新しい賞です。
スローガンは "Proved, then paid."（証明して、報酬を受け取る。）
---
従来の数学賞と何が違うのか
フィールズ賞やミレニアム懸賞問題のような従来の数学賞は、学会の推薦・審査・授賞式というプロセスを経ます。
証明から受賞まで何年もかかることがざらで、若手や無名の研究者が日の目を見るのは難しい構造でした。
Justin Sun Prizeはこれらとは全然違います。
証明を提出→GitHubでIssue作成→14日間の公開期間→機械で検証→正しければ即払い。
年齢制限なし、推薦不要、国籍不問。人間でもAIでも、人間とAIの共同作業でも参加できます。
「Prover」と「Formalizer」という2つの役割
ここが個人的に一番面白いと思った部分です😊
数学の世界では「証明を考える人」と
「その証明をコンピュータが読める形式（Lean）に書き直す人」
は別の作業で、後者は地味で評価されにくい仕事でした。
Justin Sun Prizeはこれを70：30の報酬配分で明示的に評価します。
証明者が70%、形式化担当者が30%。
これまで無償に近かった形式化作業に、初めて経済的な価値が与えられたということです。
TRONとの繋がり
賞金プールはTRONブロックチェーン上の公開アドレスで管理されており、誰でもブロックチェーンエクスプローラーで残高を確認できます。
「Proved, then paid.」というコンセプトを実現するために、改ざんできないオンチェーンの透明性が使われているわけです。
スマートコントラクトが「信頼できる審査員」として機能している、という見方もできます。
現在GitHubには約1,022問が掲載されており、第1弾として66問が公開されています。
数学が得意な方、Leanが書ける方、あるいはAIを使いこなせる方——参加の入口は思ったより広いかもしれないです。
数学×ブロックチェーン×AI、相性のよさそうな組み合わせですよね🔥
興味がある方はぜひチャレンジしてみてください😉
@JustinSunPrize @justinsuntron @Square-Creator-4635d0c4837a @TronDao_JPN #TRX
#JustinSunPrize #TRON #TRONGlobalFriends #TGF
Justin Sun Prize（孫宇晨賞）の設立
数学の難問を解いたら、その場で報酬がもらえる。
そんな仕組みが本当にできました😳
9月16日、Justin Sunさんが「Justin Sun Prize（孫宇晨賞）」の設立を発表しました。
数学の証明問題に対して報酬を出す、全く新しい賞です。
スローガンは "Proved, then paid."（証明して、報酬を受け取る。）
---
従来の数学賞と何が違うのか
フィールズ賞やミレニアム懸賞問題のような従来の数学賞は、学会の推薦・審査・授賞式というプロセスを経ます。
証明から受賞まで何年もかかることがざらで、若手や無名の研究者が日の目を見るのは難しい構造でした。
Justin Sun Prizeはこれらとは全然違います。
証明を提出→GitHubでIssue作成→14日間の公開期間→機械で検証→正しければ即払い。
年齢制限なし、推薦不要、国籍不問。人間でもAIでも、人間とAIの共同作業でも参加できます。
「Prover」と「Formalizer」という2つの役割
ここが個人的に一番面白いと思った部分です😊
数学の世界では「証明を考える人」と
「その証明をコンピュータが読める形式（Lean）に書き直す人」
は別の作業で、後者は地味で評価されにくい仕事でした。
Justin Sun Prizeはこれを70：30の報酬配分で明示的に評価します。
証明者が70%、形式化担当者が30%。
これまで無償に近かった形式化作業に、初めて経済的な価値が与えられたということです。
TRONとの繋がり
賞金プールはTRONブロックチェーン上の公開アドレスで管理されており、誰でもブロックチェーンエクスプローラーで残高を確認できます。
「Proved, then paid.」というコンセプトを実現するために、改ざんできないオンチェーンの透明性が使われているわけです。
スマートコントラクトが「信頼できる審査員」として機能している、という見方もできます。
現在GitHubには約1,022問が掲載されており、第1弾として66問が公開されています。
数学が得意な方、Leanが書ける方、あるいはAIを使いこなせる方——参加の入口は思ったより広いかもしれないです。
数学×ブロックチェーン×AI、相性のよさそうな組み合わせですよね🔥
興味がある方はぜひチャレンジしてみてください😉
@JustinSunPrize @justinsuntron @sunyuchentron @TronDao_JPN #TRX
#JustinSunPrize #TRON #TRONGlobalFriends #TGF
そんな仕組みが本当にできました😳
9月16日、Justin Sunさんが「Justin Sun Prize（孫宇晨賞）」の設立を発表しました。
数学の証明問題に対して報酬を出す、全く新しい賞です。
スローガンは "Proved, then paid."（証明して、報酬を受け取る。）
---
従来の数学賞と何が違うのか
フィールズ賞やミレニアム懸賞問題のような従来の数学賞は、学会の推薦・審査・授賞式というプロセスを経ます。
証明から受賞まで何年もかかることがざらで、若手や無名の研究者が日の目を見るのは難しい構造でした。
Justin Sun Prizeはこれらとは全然違います。
証明を提出→GitHubでIssue作成→14日間の公開期間→機械で検証→正しければ即払い。
年齢制限なし、推薦不要、国籍不問。人間でもAIでも、人間とAIの共同作業でも参加できます。
「Prover」と「Formalizer」という2つの役割
ここが個人的に一番面白いと思った部分です😊
数学の世界では「証明を考える人」と
「その証明をコンピュータが読める形式（Lean）に書き直す人」
は別の作業で、後者は地味で評価されにくい仕事でした。
Justin Sun Prizeはこれを70：30の報酬配分で明示的に評価します。
証明者が70%、形式化担当者が30%。
これまで無償に近かった形式化作業に、初めて経済的な価値が与えられたということです。
TRONとの繋がり
賞金プールはTRONブロックチェーン上の公開アドレスで管理されており、誰でもブロックチェーンエクスプローラーで残高を確認できます。
「Proved, then paid.」というコンセプトを実現するために、改ざんできないオンチェーンの透明性が使われているわけです。
スマートコントラクトが「信頼できる審査員」として機能している、という見方もできます。
現在GitHubには約1,022問が掲載されており、第1弾として66問が公開されています。
数学が得意な方、Leanが書ける方、あるいはAIを使いこなせる方——参加の入口は思ったより広いかもしれないです。
数学×ブロックチェーン×AI、相性のよさそうな組み合わせですよね🔥
興味がある方はぜひチャレンジしてみてください😉
@JustinSunPrize @justinsuntron @sunyuchentron @TronDao_JPN #TRX
#JustinSunPrize #TRON #TRONGlobalFriends #TGF
78
·
--
ブリッシュ
本人確認中
TRONエコシステムの重要ニュース ♦️
{spot}(TRXUSDT)
1️⃣ TRONにおけるステーブルコインの時価総額は90日で48億ドル増加し、トップ10の他9チェーンの合計増加分を上回りました。
2️⃣ @JustinSun が、最大$1Mの分散型バウンティ「Justin Sun Prize」を発表。
• 定理を証明する人にも、機械で検証可能なコードとして形式化する人にも報奨があります。
• 官僚主義なし、人間とAIの双方に開かれており、資金はブロックチェーン上でロックされています。
3️⃣ CanaryFundsがステークした$TRX のETFは、すでにetradeで稼働しており、従来の市場においてTRXへのエクスポージャーをさらに拡大します。
// #TGF // #TRONGlobalFriends // #ETF // #Stablecoins // #JustinSunPrize //
TRONエコシステムの重要ニュース ♦️
1️⃣ TRONにおけるステーブルコインの時価総額は90日で48億ドル増加し、トップ10の他9チェーンの合計増加分を上回りました。
2️⃣ @Justin Sun孙宇晨 が、最大$1Mの分散型バウンティ「Justin Sun Prize」を発表。
• 定理を証明する人にも、機械で検証可能なコードとして形式化する人にも報奨があります。
• 官僚主義なし、人間とAIの双方に開かれており、資金はブロックチェーン上でロックされています。
3️⃣ CanaryFundsがステークした$TRX のETFは、すでにetradeで稼働しており、従来の市場においてTRXへのエクスポージャーをさらに拡大します。
// #TGF // #TRONGlobalFriends // #ETF // #Stablecoins // #JustinSunPrize //
1️⃣ TRONにおけるステーブルコインの時価総額は90日で48億ドル増加し、トップ10の他9チェーンの合計増加分を上回りました。
2️⃣ @Justin Sun孙宇晨 が、最大$1Mの分散型バウンティ「Justin Sun Prize」を発表。
• 定理を証明する人にも、機械で検証可能なコードとして形式化する人にも報奨があります。
• 官僚主義なし、人間とAIの双方に開かれており、資金はブロックチェーン上でロックされています。
3️⃣ CanaryFundsがステークした$TRX のETFは、すでにetradeで稼働しており、従来の市場においてTRXへのエクスポージャーをさらに拡大します。
// #TGF // #TRONGlobalFriends // #ETF // #Stablecoins // #JustinSunPrize //
2
12
4.9k
本人確認中
記事
Justin Sun Prize - 数学課題解決のためのTRONブロックチェーン上の$10百万Justin Sun Prizeの賞金総額は、いまオンチェーン上に配置されました。TRONネットワーク上の公開アドレスには、ジャスティン・サンの数学賞として$10百万が用意されています。資金の残高と動きは、ブロックチェーン・エクスプローラのTRONSCANで検証可能です。
イニシアチブは、基礎数学、人工知能、ブロックチェーンを統合しています。複雑な数学問題の解決だけでなく、その正しさをコンピュータが検証できる証明の作成にも報酬が用意されています。
Justin Sun Prize - 数学課題解決のためのTRONブロックチェーン上の$10百万
Justin Sun Prizeの賞金総額は、いまオンチェーン上に配置されました。TRONネットワーク上の公開アドレスには、ジャスティン・サンの数学賞として$10百万が用意されています。資金の残高と動きは、ブロックチェーン・エクスプローラのTRONSCANで検証可能です。
イニシアチブは、基礎数学、人工知能、ブロックチェーンを統合しています。複雑な数学問題の解決だけでなく、その正しさをコンピュータが検証できる証明の作成にも報酬が用意されています。
イニシアチブは、基礎数学、人工知能、ブロックチェーンを統合しています。複雑な数学問題の解決だけでなく、その正しさをコンピュータが検証できる証明の作成にも報酬が用意されています。
111
·
--
今回非常に興味深い、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
今回非常に興味深い、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
最近、@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
1
139
ログインして、さらにコンテンツを読む
厳選トピックで世界の暗号資産トレーダーの仲間入り
⚡️ 暗号資産に関する最新かつ有益な情報が見つかります。
💬 世界最大の暗号資産取引所から信頼されています。
👍 認証を受けたクリエイターから、有益なインサイトを得られます。
メール / 電話番号
トレンドトピック
1
#BinanceLaunchesBinanceIntelligence
閲覧回数 137,358
1,329人が討論中
2
#StriveBuys2000BTCFor$169M
閲覧回数 5,508
60人が討論中
3
#EvernorthXRPTreasuryCompletesSPACMerger
閲覧回数 83,226
855人が討論中
4
#ADAGains10%Above$0.27
閲覧回数 43,375
238人が討論中
5
#ETHUp70%InQ3ButLiquidityFalls
閲覧回数 286,007
1,921人が討論中
6
#EthStakingExitQueueHits2026High
閲覧回数 107,909
1,280人が討論中
7
#FedOctoberHoldOdds82.3%
閲覧回数 115,762
1,240人が討論中
8
#Nikkei225Jumps2.5%ToThreeMonthHigh
閲覧回数 110,289
1,423人が討論中
9
#CircleMints$2.75BUSDCOnSolanaIn7Days
閲覧回数 2,949
60人が討論中
10
#DriftHackVictimsBeginClaims
閲覧回数 226,131
2,105人が討論中