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

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

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

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

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

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