Представляем #JustinSunPrize — новую академическую программу грантов, поощряющую прорывы в математике.

Участники могут решать подходящие задачи, оформлять свои результаты в Lean и отправлять машинно-проверяемые доказательства через открытый исходный код репозитория GitHub Приза.

Программа включает пять уровней наград и главный приз в размере 1 млн долларов; она открыта для подходящих участников по всему миру.

Решайте. Проверяйте. Получайте награду.

Подробнее:
https://hejustinsun.com/prize

https://x.com/JustinSunPrize/status/2100319343670354387