Всем добрый день 😻
Если вы ищете дополнительный заработок, вот кое-что интересное.
Премия Justin Sun Prize только что открыла первую подборку из 66 математических задач для людей по всему миру, чтобы они могли бросить себе вызов. Самый большой приз — $1,000,000.
Как присоединиться?
Основные шаги: выберите задачу из официального GitHub-репозитория → сделайте Fork репозитория → напишите Формальное доказательство на Lean, чтобы доказать задачу правильно.
📌 Коротко
Выберите задачу → напишите доказательство → протестируйте → отправьте PR → дождитесь проверки
Любой желающий может ознакомиться с банком задач и условиями каждой задачи. Прохождение проверки не означает автоматически, что вы получите приз — вам всё равно нужно соблюдать правила проекта.
@Justin Sun孙宇晨
@TRON DAO
#TRONGlobalFriends #TGF
Если вы ищете дополнительный заработок, вот кое-что интересное.
Премия Justin Sun Prize только что открыла первую подборку из 66 математических задач для людей по всему миру, чтобы они могли бросить себе вызов. Самый большой приз — $1,000,000.
Как присоединиться?
Основные шаги: выберите задачу из официального GitHub-репозитория → сделайте Fork репозитория → напишите Формальное доказательство на Lean, чтобы доказать задачу правильно.
📌 Коротко
Выберите задачу → напишите доказательство → протестируйте → отправьте PR → дождитесь проверки
Любой желающий может ознакомиться с банком задач и условиями каждой задачи. Прохождение проверки не означает автоматически, что вы получите приз — вам всё равно нужно соблюдать правила проекта.
@Justin Sun孙宇晨
@TRON DAO
#TRONGlobalFriends #TGF
