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
