Офис премии Джастина Сана объявил о пилотной программе, подготовленной совместно с MathDB. Она охватывает 50 математических задач; размер отдельной награды может достигать $1 млн при соблюдении условий премии и требований к участникам.
MathDB — платформа математических исследований, разработанная командой профессора Калифорнийского технологического института Тони Юэ Ю. Платформа будет принимать решения, проверять формализации на языке Lean и анализировать пояснительные материалы. Организаторы премии отдельно оценят право на награду, авторство, приоритет результатов и соответствие условиям.
По словам основателя премии Джастина Сана, программа призвана учитывать влияние искусственного интеллекта на скорость математических исследований, сохраняя критерии научного прогресса. Пилот объединяет цифровую платформу для проверки математических решений с отдельной процедурой присуждения наград.