Премия Justin Sun превращает математику в ончейн-доску вознаграждений.
66 задач. Две роли:
Доказывающий — решает
Формализатор — делает так, чтобы это можно было проверить машиной
Как только доказательство проходит машинную верификацию, награду можно выплатить.
Крипто + ИИ + математика = новый рынок для проверяемых знаний.
hejustinsun.com/prize
@TRON DAO @Justin Sun孙宇晨 #Tron
66 задач. Две роли:
Доказывающий — решает
Формализатор — делает так, чтобы это можно было проверить машиной
Как только доказательство проходит машинную верификацию, награду можно выплатить.
Крипто + ИИ + математика = новый рынок для проверяемых знаний.
hejustinsun.com/prize
@TRON DAO @Justin Sun孙宇晨 #Tron
