ジャスティン・サンは数学のための新しい報酬システムを構築しています。
このアイデアは、問題を解いた人を褒めることにとどまりません。数学の証明を、機械が検証できるものに変えることを報酬とします。
役割は2つあります。証明者（Provers）が証明を作成し、形式化者（Formalizers）がそれを機械で検証可能な形に翻訳します。報酬は、形式化された証明が機械による検証に合格した場合にのみ解放されます。
面白いのは、さらに大きな構想があることです。『数学 + AI + 形式的検証 + ブロックチェーン』。
単に「人間が証明した」と言うのではなく、「機械が検証できる」という目標に変わります。
@TRON DAO @justinsuntron
#TRONGlobalFriends #TFG