Джастин Сан объявил о премии Джастина Сана — децентрализованном академическом гранте, который присуждает до 1 миллиона долларов США за решение перечисленных математических задач с машинно-проверяемыми доказательствами. Первых победителей тоже назвали: в частности, исследовательскую команду OpenAI за решение и формализованное доказательство задачи о трехмерных уравнениях Навье—Стокса, — сообщает BeInCrypto, при этом формализация и верификация в Lean были завершены GPT-6 Astra. Приз будет выплачиваться победителям в USDT в сети TRON или в USDC в сети Ethereum.