Justin Sun Prize назвал первых лауреатов по шести решениям Erdős

3 мин

Женева, Швейцария — 5 октября 2026 — Office of Justin Sun объявил лауреатов Justin Sun Prize: независимый исследователь Wouter van Doorn, аспирант Quanyu Tang и исследователь Yanyang Li из Southeast University удостоены наград за вклад, охватывающий шесть задач Эрдёша.

Награждённые достижения

Задачи Эрдёша — это лаконичные, но трудные вопросы, формирующие число теории чисел и комбинаторику. Каталог задач Эрдёша, который ведёт Thomas Bloom, включает более 1200 задач.

#650: Van Doorn, Tang и Li точно определили, сколько целых чисел можно всегда сопоставить с различными кратными в заданном интервале.
#369: Van Doorn подготовил доказательства в Lean о последовательных целых числах с ограниченными простыми делителями.
#457: Van Doorn подготовил доказательства в Lean о том, может ли короткая последовательность последовательных целых чисел совместно содержать все простые числа в заданном диапазоне.
#469: Van Doorn подготовил доказательства в Lean о том, сходится ли сумма обратных величин для класса чисел, представимых как суммы их делителей.
#1044: Tang установил точную нижнюю границу для длины границ областей, заданных полиномами.
#1196: Tang и Li внесли вклад в оценку взвешенных сумм по множествам целых чисел, где ни один элемент не делит другой.

ИИ и формальная верификация

Решение #650 объединило человеческое суждение и ИИ. ChatGPT участвовал в разработке стратегии доказательства. Aristotle, ИИ для математического рассуждения, устранил пробел во время формализации в Lean. Исследователи упростили доказательство и подготовили финальные версии доказательств и изложения. Дополнительные результаты Van Doorn были формализованы в Lean, что позволяет независимую проверку.

Подробности программы

Это первые подтверждённые награды программы. Документация, каталог задач и вклад лауреатов: публичный репозиторий на GitHub.

Варианты выплат: USDT в сети TRON (TRC-20) или USDC в сети Ethereum (ERC-20), по выбору получателя.

Об Office of Justin Sun

Office поддерживает инициативы Justin Sun в областях технологий, блокчейна, ИИ, научных исследований, инвестиций, искусства и исследования космоса. Justin Sun — основатель TRON и бывший посол и постоянный представитель Гренады при ВТО. С момента запуска TRON обработал свыше $13 трлн объёма. USDT в сети TRON широко используется на развивающихся рынках для доступа к глобальной финансовой системе.

Контакты: info@hejustinsun.com

Об Justin Sun Prize

Премия поддерживает прогресс в математике, формальной верификации и открытиях с поддержкой ИИ. Она делает упор на силу доказательств, строгость и проверяемость, а не на престиж подателей. Инициатива связывает конкретно определённые математические задачи с машинно проверяемыми доказательствами и руководствуется принципами открытости, общественной пользы и открытого доступа к исходному коду. Подробности: https://www.hejustinsun.com/prize. Контакты: thejustinsunprize@hejustinsun.com