Награды Justin Sun Prize отмечают достижения в решении задач Эрдэша через сотрудничество с ИИ

Офис Джастина Суна объявил о последних лауреатах награды Justin Sun Prize, удостоив независимого исследователя Ваута ван Дорна, аспиранта по математике Куанью Тана и исследователя Яняна Ли из Юго-восточного университета в Нанкине. Их вклад охватывает шесть задач Эрдэша, которые являются математическими вопросами, популяризированными венгерским математиком Полем Эрдэшем.

Ваут ван Дорн, независимый теоретик чисел, и Куанью Тан, аспирант Университета науки и технологий Китая, сотрудничали с Яняном Ли для решения задачи Эрдэша №650. Эта задача заключается в определении, сколько целых чисел можно сопоставить с различными кратными в заданном интервале.

Ван Дорн также создал проверяемые компьютером доказательства для нескольких других задач Эрдэша, используя Lean, программное обеспечение для проверки математического рассуждения. К ним относятся задачи, связанные с последовательными целыми числами и их простыми делителями, а также свойства определенных классов чисел. Тан отдельно решил задачу Эрдэша №1044, установив пределы для длины границ, определяемых многочленами, и внес вклад в решение задачи №1196.

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

Этот раунд наград стал первым подтвержденным признанием от Justin Sun Prize, который направлен на поддержку достижений в математике и научных открытиях с помощью ИИ. Призы будут вручены в USDT на TRON или USDC на Ethereum, в зависимости от предпочтений лауреатов.

Последние обновления о премии Джастина Суна

Дата: 5 октября 2026 года

Премия Джастина Суна была вручена независимому исследователю Вутеру ван Дорну, аспиранту по математике Цюанью Тану и математическому исследователю Яньяну Ли за их значительный вклад в решение шести задач Эрдели.

Вутер ван Дорн был отмечен за свою работу в области теории чисел, начав свое исследование в 2010 году. Цюань Тан — аспирант, чьи исследования пересекаются с теорией чисел, комбинаторикой и математическим открытием с помощью ИИ.

Команда решила задачу Эрдели №650, которая включает в себя сопоставление целых чисел с различными кратными в заданном интервале. Ван Дорн также создал проверяемые компьютером доказательства для нескольких других задач Эрдели с использованием программного обеспечения Lean.

Цюань Тан решил задачу Эрдели №1044 и внес вклад в решение задачи №1196, продемонстрировав совместный потенциал человеческих и ИИ-усилий в математических исследованиях.

Премия Джастина Суна подчеркивает важность создания математических доказательств, которые могут быть независимо проверены, и стремится поддерживать достижения в математике и научных открытиях с помощью ИИ.