ИИ создал сотни математических рукописей быстрее, чем люди успели их проверить
OpenAI опубликовала 722 машинные рукописи, объединенные в 372 семейства результатов.
Модель проверили примерно на 4000 задачах; один результат требовал в среднем эквивалент трех часов работы ChatGPT Pro.
На следующий день OpenAI сняла три рукописи из-за ошибки в знаке и исправила еще 14 текстов.
Simons Foundation, OpenAI и Anthropic направили $15 млн на проверку и осмысление машинных результатов.
Почему важно
Производство доказательств перестает быть узким местом науки, а проверка, объяснение и выбор достойных внимания результатов становятся отдельной инфраструктурой.