Внутренняя модель OpenAI получила новые результаты сразу по десяти открытым задачам в математике и теоретической информатике

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