🧠✨ Премия Джастина Сана — это не просто математическая награда.
Её более глубокая идея — поощрять знания, которые можно строго проверить и сохранить.

Модель разделяет две роли:
① Провер решает задачу.
② Формализатор преобразует доказательство в Lean для машинной проверки.
Заявленное распределение награды — 70% / 30%.

В эпоху ИИ это важно. ИИ может генерировать идеи, но идеи автоматически не становятся проверенными теоремами.
Формализация создаёт мост к прочным, проверяемым машинами знаниям. 🔬🤖

@Justin Sun孙宇晨 @TRON DAO #TRONGlobalFriends #TGF #TRON