Внутренней модели компании было представлено около 4000 открытых задач. В итоге для публикации было отобрано 722 работы, собранные в 372 семейства. Среднее время работы над задачей - около 3 часов. Задачи сейчас находятся на разных этапах проверки.
Среди этих задач например такие:
Десятая проблема Гильберта над рациональными числами
Квази-гипотеза Римана: отсутствие нулей в полуплоскости >7/8
Гипотеза об уникальных играх
Гипотеза Фальконера о расстояниях
Проблема равномерной ограниченности числа предельных циклов в 16-й проблеме Гильберта
Проблема изоморфизма факторов свободных групп
Гипотеза Кадисона о подобии
Гипотеза Берча - Свиннертон-Дайера
Гипотеза Какеи
Проблема глобальной регулярности трёхмерной релятивистской системы Власова - Максвелла
Блочная гипотеза Алперина о весах
https://openai.com/index/sharing-ai-progress-in-mathematics/