Десять открытых задач решила внутренняя версия Astra
OpenAI опубликовала десять решений задач, по которым основной результат не сдвигался как минимум десять лет, а в большинстве случаев дольше. Аргументы сгенерировала внутренняя версия Astra, следующей крупной модели компании. Токены на поиск решений стоили бы примерно $2 000 по тарифам Sol API.
В списке новые верхние оценки плотности упаковки шаров, построение несофических групп, опровержение гипотезы жёсткости Конна и нижняя оценка порядка n⁴/log n для арифметических формул. Результат по многоцветным числам Рамсея закрывает проблему Эрдёша №183.
Каждое доказательство модель формализовала в сертификате Lean. Ранее OpenAI анонсировала программу ChatGPT for Academic Researchers с бесплатным доступом к лучшим моделям ChatGPT для 100 000 учёных и математиков.
Читайте также
- Математики нашли в статье Astra чужие идеи без ссылок
- Символьная проверка через Codex бьёт по гипотезе Якоби
- Codex решил 20 проблем Эрдёша на 20 параллельных аккаунтах
- OpenAI открыла на GitHub математику невыпущенной модели
- OpenAI тренирует агентов на договорной рутине Ironclad
- OpenAI готовит больше 100 решений, математики злятся
Комментарии
Пока никто не написал. Будьте первым.
Присоединяйтесь к разговору
Войдите через Google, чтобы оставить комментарий. Имя и аватар подставятся из вашего профиля Google, а комментарий появится после модерации.