Офис Джастина Сана объявил лауреатов первой премии Джастина Сана: Ваутера ван Дорна, Цюанью Танга и Яньяна Ли. Эти исследователи отмечены за значительный вклад в решение ряда проблем Эрдёша. Ваутер ван Дорн, независимый специалист по теории чисел, и Цюанью Танг, аспирант, сотрудничали с Яньяном Ли из Юго-Восточного университета. Вместе они решили проблему Эрдёша №650, касающуюся сопоставления целых чисел различным кратным в заданном интервале. Ван Дорн также предоставил проверяемые с помощью компьютера доказательства для трех других проблем Эрдёша, связанных с последовательными целыми числами и простыми множителями. Танг самостоятельно решил проблему №1044, касающуюся областей, определяемых полиномами, и внес вклад в решение проблемы №1196, связанной с взвешенными суммами. Их работа над №650 является примером синергии между человеческим пониманием и инструментами искусственного интеллекта для математических открытий. ChatGPT помог в разработке стратегии доказательства, а система искусственного интеллекта Aristotle помогла усовершенствовать процесс формальной верификации. Исследователи подчеркнули ценность обратной связи от общественности и помощи ИИ в уточнении исследовательских вопросов и обеспечении строгой проверки. Премия Джастина Сана направлена на поощрение математических открытий и создание независимо проверяемых доказательств. Информация о премии и вклад лауреатов доступны через общедоступный репозиторий GitHub. Лауреаты могут выбрать получение своих наград в USDT на TRON или USDC на Ethereum.