Джастин Сан только что объявил Justin Sun Prize — инициативу, сфокусированную на математике, ИИ и возможности проверки с помощью машин.
Особенность этой награды заключается не в присуждении титула конкретному человеку, а в самой задаче и в решении.
🔹
Prover — тот, кто находит и доказывает решение.
🔹
Formalizer — тот, кто преобразует доказательство в форму, которую машина может проверить.
🔹
Human, AI or hybrid — происхождение решения не является решающим фактором.
🔹
Проверка машиной — выплата награды осуществляется только тогда, когда вся доказательная база полностью и точно подтверждена машинной верификацией.
Джастин Сан считает, что это особенно соответствует эпохе ИИ, когда разрыв между conjecture и proof может быть существенно сокращён.
Блокчейн используется для создания прозрачного и проверяемого механизма для призового фонда: средства должны быть заблокированы on-chain и могут быть выплачены только после выполнения условий верификации.
Это также довольно интересная история про крипто, где путь такой: Mathematics → Cryptography → Blockchain → Wealth → Mathematics.
Математические платформы, которые когда-то способствовали развитию индустрии блокчейна, теперь снова становятся местом, куда возвращается поток ценности.
@justinsuntron также подчёркивает, что это лишь начало — сейчас это награда, посвящённая математике.
Заметная идея на фоне всё более тесного пересечения ИИ, математики и блокчейна.
🤖🔗🧠
Особенность этой награды заключается не в присуждении титула конкретному человеку, а в самой задаче и в решении.
🔹
Prover — тот, кто находит и доказывает решение.
🔹
Formalizer — тот, кто преобразует доказательство в форму, которую машина может проверить.
🔹
Human, AI or hybrid — происхождение решения не является решающим фактором.
🔹
Проверка машиной — выплата награды осуществляется только тогда, когда вся доказательная база полностью и точно подтверждена машинной верификацией.
Джастин Сан считает, что это особенно соответствует эпохе ИИ, когда разрыв между conjecture и proof может быть существенно сокращён.
Блокчейн используется для создания прозрачного и проверяемого механизма для призового фонда: средства должны быть заблокированы on-chain и могут быть выплачены только после выполнения условий верификации.
Это также довольно интересная история про крипто, где путь такой: Mathematics → Cryptography → Blockchain → Wealth → Mathematics.
Математические платформы, которые когда-то способствовали развитию индустрии блокчейна, теперь снова становятся местом, куда возвращается поток ценности.
@justinsuntron также подчёркивает, что это лишь начало — сейчас это награда, посвящённая математике.
Заметная идея на фоне всё более тесного пересечения ИИ, математики и блокчейна.
🤖🔗🧠
