Увидев эту статью, я думаю, что она довольно интересная. Джастин Сан объявил о создании премии Justin Sun Prize — награды, которая не оценивает по имени, возрасту или тому, кто это сделал, а фокусируется на математических работах, особенно на доказательствах задач, которые можно проверить с помощью компьютера.
Идея, которая мне кажется интересной, заключается в том, что в одной задаче могут быть люди, которые думают и доказывают ответ, а затем другой человек оформляет это доказательство так, чтобы компьютер мог его проверить. И что еще более интересно — это не ограничивается тем, что человек должен быть человеком или AI. Главное, чтобы само доказательство было корректным и прошло математическую проверку. Сумма приза при этом будет «заблокирована» и выплачена только тогда, когда система сможет проверить доказательство полностью, без ошибок.
#TRONGlobalFreinds #TGF @TRON DAO @Justin Sun孙宇晨
Идея, которая мне кажется интересной, заключается в том, что в одной задаче могут быть люди, которые думают и доказывают ответ, а затем другой человек оформляет это доказательство так, чтобы компьютер мог его проверить. И что еще более интересно — это не ограничивается тем, что человек должен быть человеком или AI. Главное, чтобы само доказательство было корректным и прошло математическую проверку. Сумма приза при этом будет «заблокирована» и выплачена только тогда, когда система сможет проверить доказательство полностью, без ошибок.
#TRONGlobalFreinds #TGF @TRON DAO @Justin Sun孙宇晨
