Внутренняя модель OpenAI получила новые результаты сразу по десяти открытым задачам в математике и теоретической информатике
Стоимость токенов, потраченных на поиск решений, всего $2000.
Решением занималась внутренняя версия будущей модели Astra, которая должна стать первой из моделей классом выше нынешней Sol.
Подчеркивается, что все задачи ИИ решил самостоятельно, а математики потом только помогли подготовить публикацию результатов.
1. Упаковка сфер в высоких размерностях
2. Двоичные и сферические коды
3. Найден первый не-софический объект.
Это, вероятно, самый значимый результат всего набора и превосходит по значимости найденные ранее в этом году решения для гипотезы о единичных расстояниях и гипотезы Якобиана
4. Опровержение гипотезы жесткости Конна
5. Нижние оценки для арифметических схем
Тоже важный результат. Это небольшой шаг в сторону решения задачи P vs NP
6. Квантовое параллельное повторение
7. Задача ближайшего вектора
8. Гипотеза Эрхарта об объеме
9. Многоцветные числа Рамсея
10 . Еще две гипотезы Эрдеша
Так что ответ на этот вопрос:

Видимо, да. Если задаться такой целью.
















Отличный комментарий!