Джастин Сан запускает свою математическую премию

Основатель TRON решил зайти в науку с необычной стороны — Сан объявил о собственной премии за решение математических задач.

Главная фишка — награждать будут не только за само доказательство, но и за его перевод в код, который сможет полностью проверить машина.
То есть здесь фактически две роли:

1) Prover — находит доказательство.
2) Formalizer — превращает его в формальный код для машинной проверки.
Причём неважно, кто стоит за результатом: человек, ИИ или их совместная работа. Важен только конечный результат.


Есть ещё интересный момент: призовые будут зарезервированы до тех пор, пока доказательство не получит подтверждение от системы машинной верификации.По задумке Сана, со временем это может превратиться в своеобразную карту задач, которые человечество уже решило, но которые ИИ пока не способен самостоятельно формально проверить.


Сам Сан объясняет инициативу желанием направить заработанный благодаря математике капитал обратно в развитие науки — уже на стыке математики и искусственного интеллекта. Похоже, криптоэнтузиасты постепенно начинают финансировать не только блокчейн, но и фундаментальную науку.

Оф тг канал TRON

#TronGlobalFriends #TGF#TRON