Джастин Сан (TRON) учреждает математическую премию, которая будет вручаться как тем, кто решает задачи, так и тем, кто переводит доказательства в формат, поддающийся машинной проверке.

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

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