Доказательство с помощью «Proof of Work» по математике начинается прямо сейчас!
Что за будущее рисует Justin Sun Prize?
Justin Sun создал не просто математическую премию.
Он сочетает 4 направления — математика × AI × формальная верификация × блокчейн — и пытается превратить исследования из 【премии, которую оценивают люди】 в 【премию, которую верифицируют машины и выплачивают за это】!
✅ Суть Justin Sun Prize
﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌
1. Идея 【возвращать источник богатства математике】.
2. 【Математическая премия эпохи AI】, отличная от Нобелевской премии.
3. Центр — 【не люди, а задачи】.
4. 【Недостаточно, чтобы люди просто сказали, что это правильно】 — за это не дают приз.
5. Зарегистрированную задачу нельзя удалить.
6. «Время ожидания» превращается в ценность.
🏅В чем инновация Justin Sun Prize?
﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌
Впечатляет «приз в 1 миллион долларов».
Но по-настоящему важно другое — финальным условием сделано 【можно ли это верифицировать с помощью машины】!
<Традиционно>
Человек → статья → рецензирование → авторитет → оценка
<Justin Sun Prize>
Задача → доказательство → формализация → машинная верификация → выплата
⚠️ Важные вызовы
﹌﹌﹌﹌﹌﹌﹌
① Концентрация полномочий у постановщика задач
Какие задачи регистрировать?Какую сумму приза на них назначать?
Это большие полномочия, и вход устроен как структура централизованных прав.
② Сложность формализации
Даже при математически верном доказательстве формализация может занять огромное количество времени.
③ Определение авторства доказательств, сделанных с помощью AI
Если AI создает доказательство, а человек его формализует, возникает вопрос: «Кто является открывателем?»
💡Итог
﹌﹌﹌﹌
Justin Sun Prize — это эксперимент по реинвестированию богатства, рожденного блокчейном, в верифицируемые знания эпохи AI.
Связь AI × математика × Formal Verification × Blockchain — это новая система, с помощью которой Justin Sun Prize вознаграждает 【проверяемые знания】!
#TRONGlobalFriends #TGF
@TRON DAO @Justin Sun孙宇晨
Что за будущее рисует Justin Sun Prize?
Justin Sun создал не просто математическую премию.
Он сочетает 4 направления — математика × AI × формальная верификация × блокчейн — и пытается превратить исследования из 【премии, которую оценивают люди】 в 【премию, которую верифицируют машины и выплачивают за это】!
✅ Суть Justin Sun Prize
﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌
1. Идея 【возвращать источник богатства математике】.
2. 【Математическая премия эпохи AI】, отличная от Нобелевской премии.
3. Центр — 【не люди, а задачи】.
4. 【Недостаточно, чтобы люди просто сказали, что это правильно】 — за это не дают приз.
5. Зарегистрированную задачу нельзя удалить.
6. «Время ожидания» превращается в ценность.
🏅В чем инновация Justin Sun Prize?
﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌
Впечатляет «приз в 1 миллион долларов».
Но по-настоящему важно другое — финальным условием сделано 【можно ли это верифицировать с помощью машины】!
<Традиционно>
Человек → статья → рецензирование → авторитет → оценка
<Justin Sun Prize>
Задача → доказательство → формализация → машинная верификация → выплата
⚠️ Важные вызовы
﹌﹌﹌﹌﹌﹌﹌
① Концентрация полномочий у постановщика задач
Какие задачи регистрировать?Какую сумму приза на них назначать?
Это большие полномочия, и вход устроен как структура централизованных прав.
② Сложность формализации
Даже при математически верном доказательстве формализация может занять огромное количество времени.
③ Определение авторства доказательств, сделанных с помощью AI
Если AI создает доказательство, а человек его формализует, возникает вопрос: «Кто является открывателем?»
💡Итог
﹌﹌﹌﹌
Justin Sun Prize — это эксперимент по реинвестированию богатства, рожденного блокчейном, в верифицируемые знания эпохи AI.
Связь AI × математика × Formal Verification × Blockchain — это новая система, с помощью которой Justin Sun Prize вознаграждает 【проверяемые знания】!
#TRONGlobalFriends #TGF
@TRON DAO @Justin Sun孙宇晨
