justinsunprize

Justin Sun Prize разъяснила порядок присуждения математических премий. Даже если исследователь представил правильное доказательство, это ещё не означает автоматического получения награды. Сначала работа проходит техническую проверку, затем становится публичной заявкой, которую любой желающий может оспорить в течение 14 дней.
Новые разъяснения опубликованы в официальном GitHub-репозитории Justin Sun Prize и направлены на повышение прозрачности оценки математических достижений.
От доказательства до официальной награды
В рамках стандартной процедуры Justin Sun Prize, действующей для задач вне пилотной программы MathDB, предусмотрено несколько этапов.
Первый этап представление математического решения.
Исследователь предоставляет полное доказательство задачи и подтверждение своего авторства.
При необходимости другой специалист может подготовить формализацию доказательства в Lean системе, позволяющей программно проверять корректность математических рассуждений.
При этом автор математического решения и автор его формализации могут быть разными людьми.
Второй этап проверка и регистрация кандидата.
Организаторы проверяют математический результат, соответствие формального доказательства исходной задаче и представленные материалы.
После необходимых проверок работа может быть включена в публичный реестр кандидатов.
Важно, даже принятие материалов и объединение изменений в GitHub не означают присуждения награды.
14 дней, в течение которых любой может оспорить результат
После публикации кандидата в официальном реестре начинается 14-дневный период публичной проверки.
В течение этого времени любой участник математического сообщества может представить аргументированное возражение.
Оспаривать разрешается:
Математическую корректность доказательства.Авторство представленного результата.Приоритет открытия или формализации.Личность заявителя.Соответствие условиям получения награды.
Например, если другой исследователь сможет подтвердить, что получил правильное решение раньше, организаторы обязаны изучить представленные доказательства. При установлении приоритета учитываются не только даты публикаций или Git-коммитов, но и независимые подтверждения времени создания работы.
Если во время публичной проверки поступает обоснованное возражение, процедура не завершается до разрешения спора.
А при подтверждённой замене кандидата новым автором для соответствующего результата начинается отдельный 14-дневный период.
Когда исследователь официально получает награду?
Даже успешное завершение двухнедельного периода не означает немедленной выплаты.
Для официального присуждения премии необходимо завершить проверку личности, подтвердить получателя и убедиться в отсутствии нерешённых возражений или конкурирующих заявок.
Только после выполнения всех требований результат переносится из списка кандидатов в официальный реестр лауреатов.
Затем организаторы объявляют о присуждении награды и осуществляют предусмотренную выплату.
Таким образом, публичный кандидат и подтверждённый лауреат Justin Sun Prize, это два разных статуса.
А что с партнёрством MathDB?
Недавно Justin Sun Prize объявила о сотрудничестве с математической платформой MathDB под научным руководством профессора Caltech Тони Юэ Ю.
В рамках партнёрства запущена пилотная программа из 50 математических задач.
Для неё предусмотрен отдельный порядок представления материалов и проверки решений, включая независимую оценку математических решений, формализаций Lean и объяснений.
Поэтому стандартную процедуру GitHub нельзя автоматически переносить на все задачи пилотной программы.
При этом публичная проверка, установление авторства и подтверждение получателей остаются важными элементами процесса присуждения наград.
Почему это важно для математики и искусственного интеллекта?
Сегодня искусственный интеллект всё активнее используется для поиска математических гипотез и построения доказательств. Но даже если ИИ предлагает убедительное решение, это ещё не означает, что оно математически корректно.
Публичная проверка позволяет другим исследователям обнаруживать ошибки, проверять авторство и оценивать приоритет результатов.
Особенно важную роль здесь играет Lean, который помогает проверить формальную корректность доказательства. Однако успешная программная проверка сама по себе не заменяет экспертную оценку соответствия доказанного утверждения исходной задаче.
Заключение
14-дневная публичная проверка правильный подход к присуждению математических премий, особенно когда речь идёт о сложных задачах и значительных денежных вознаграждениях.
Важно, что решение не признаётся окончательным только на основании заявления автора или предварительной технической проверки.
Другие исследователи получают возможность проверить результат, представить собственные аргументы и оспорить приоритет открытия. При этом организаторы отдельно проверяют личность получателя и его право на награду.
В эпоху искусственного интеллекта подобная система становится особенно актуальной, найти перспективное решение только часть работы. Необходимо ещё доказать его корректность и подтвердить авторство.
Если Justin Sun Prize сможет последовательно применять эти правила, инициатива может стать интересным примером открытой системы оценки научных достижений. Ведь для фундаментальной математики главным остаётся не размер вознаграждения, а достоверность полученного результата.
#JustinSunPrize #TRON #AI #TGF #TRONGlobalFreinds

Justin Sun Prize объявила о признании математических достижений Quanyu Tang (Цюаньюй Тан), молодого исследователя, который внёс вклад в решение нескольких известных математических проблем, включая задачи Пала Эрдёша.
Особое внимание привлекла его работа над задачей JSP-000866, в которой исследователь использовал GPT-5.2 для поиска перспективной гипотезы, а затем самостоятельно построил математическое доказательство.
Этот случай стал ещё одним примером того, как искусственный интеллект может помогать фундаментальным научным исследованиям.
Кто такой Quanyu Tang?
Quanyu Tang молодой математик, получивший степень бакалавра математики в Сианьском университете Цзяотун в 2026 году. Сейчас он продолжает научную карьеру, занимаясь исследованиями в области теории чисел, спектральной геометрии, математического анализа и других дисциплин.
Интересно, что работать над открытыми математическими проблемами он начал ещё во время обучения в университете. Несмотря на ранний этап карьеры, Tang уже участвовал в решении нескольких задач Эрдёша, а его исследования публиковались в известных математических журналах.
Кроме того, он сотрудничал с математиком Теренсом Тао (Terence Tao) и другими исследователями при работе над задачами Эрдёша №1196 и №1217. Среди его достижений также работы, связанные с гипотезой Боллобаша - Никифорова и задачами спектральной геометрии.
Какую задачу удалось решить?
В рамках Justin Sun Prize исследователь получил признание за решение задачи JSP-000866. Она посвящена геометрическим свойствам многочленов комплексной переменной.
Если объяснить простыми словами, необходимо было определить, насколько маленькой может быть максимальная длина границ определённых областей, задаваемых многочленами.
Сначала Tang исследовал задачу при фиксированной степени многочлена.
Численные эксперименты с использованием GPT-5.2 помогли выделить перспективного кандидата:
(p(z)=z^n-1)
Соответствующие геометрические области напоминают лепестки цветка.
Исследователь доказал оптимальность такого подхода для многочленов первой и второй степени, однако при переходе к третьей степени столкнулся с трудностями. Именно после этого произошёл ключевой поворот в решении.
Главная идея оказалась неожиданно простой
Tang обратил внимание на важную особенность исходной задачи: степень многочлена не была ограничена. Это означало, что нет необходимости сначала решать гораздо более сложную задачу для каждой фиксированной степени.
Исследователь рассмотрел, как изменяется геометрия областей при увеличении степени многочлена. Оказалось, что лепестки постепенно становятся тоньше, а длина их границ приближается к числу 2.
Затем, используя геометрические оценки и теорему математика Кристиана Поммеренке 1961 года, Tang доказал соответствующую нижнюю границу.
Результат: точная нижняя грань равна 2.
При этом ни один допустимый многочлен конечной степени не достигает этого значения, к нему можно лишь приближаться сколь угодно близко. Таким образом, математическая задача получила строгое решение.
Какую роль сыграл искусственный интеллект?
Это, пожалуй, самая интересная часть истории. GPT-5.2 помог исследователю на этапе численных экспериментов и поиска подходящего направления.
Однако ИИ не выполнил за него всё доказательство. Ключевой переход от фиксированной степени многочлена к произвольной, а также строгое обоснование результата были выполнены самим математиком.
В публичном каталоге Justin Sun Prize Tang указан как автор математического решения задачи JSP-000866. Отдельно отмечена работа Lorenzo Luccioli над формализацией доказательства в Lean.
Это хорошо отражает один из подходов современной научной работы: ИИ может помогать исследовать гипотезы, человек находить математическую стратегию, а специальные инструменты проверять формальную корректность доказательств.
Justin Sun Prize продолжает поддерживать научные открытия
Инициатива Justin Sun Prize была создана Джастином Саном для поддержки фундаментальных математических исследований. Особое внимание уделяется решению открытых задач, прозрачности результатов и возможности формальной проверки доказательств.
Программа предусматривает вознаграждения за подтверждённые математические достижения, включая результаты, полученные при сотрудничестве людей и искусственного интеллекта.
Сам исследователь подчёркивает, что для него важно не только найти доказательство, но и настолько хорошо разобраться в нём, чтобы суметь понятно объяснить результат другим людям.
Интересная деталь, иногда Tang и его друзья-математики встречаются в онлайн-игре Peacekeeper Elite, где обсуждают научные задачи прямо в голосовом чате.
Заключение
История Quanyu Tang интересна не только его математическими достижениями, но и способом решения задачи.
GPT-5.2 помог найти перспективную гипотезу, однако настоящий прорыв произошёл благодаря математическому мышлению самого исследователя.
Это хороший пример того, что искусственный интеллект не обязательно должен заменять человека, чтобы приносить огромную пользу науке. Иногда достаточно помочь найти правильное направление, которое раньше оставалось незамеченным.
Отдельно стоит отметить Justin Sun Prize. Подобные инициативы привлекают внимание к фундаментальным исследованиям, результаты которых в будущем могут оказаться полезными для криптографии, блокчейнов и искусственного интеллекта.
И если ИИ действительно позволит исследователям быстрее находить и проверять математические доказательства, это может стать одним из важнейших технологических достижений ближайших лет.
Поздравляю Quanyu Tang с заслуженным признанием!
#JustinSunPrize #TRON #Mathematics #TGF #TRONGlobalFreinds