🏆 Новая награда Justin Sun Prize за коллаборацию человека и ИИ в решении проблем Эрдёша
В Женеве объявили лауреатов премии Justin Sun Prize: независимый исследователь Вутер ван Доорн, аспирант Куанью Тан и исследователь Янъян Ли из Юго-Восточного университета в Нанкине. Они были отмечены за вклад в решение шести проблем Эрдёша. Ван Доорн, числовой теоретик, использовал программное обеспечение Lean для создания проверяемых компьютерных доказательств нескольких проблем. Куанью Тан и Янъян Ли работали над проблемой Эрдёша #650, где ИИ сыграл ключевую роль в разработке стратегии доказательства. Программа впервые наградила за математические открытия и независимую проверку доказательств.