OpenAI опубликовала в открытом репозитории на GitHub архив из 722 математических рукописей, сгенерированных внутренней моделью, доступ к которой пока закрыт для широкой публики. Об этом пишет The Next Web со ссылкой на материалы компании.
Работы разделены на 372 тематические группы. В ходе тестирования нейросети предложили около 4000 задач, а на генерацию каждого решения уходило в среднем около трех часов вычислений в режиме рассуждений (thinking compute), аналогичном ChatGPT Pro. Та же модель ранее использовалась для исследования уравнений Навье — Стокса.
Сгенерированные математические исследования от нейросетей OpenAI
Часть доказательств снабжена формальной верификацией на специализированном языке Lean. В компании признали, что рукописи без машинной проверки могут содержать неточности, и пообещали оперативно вносить правки, сохраняя историю версий. Почти все тексты были получены с помощью одного запроса к автономному ИИ-агенту.
Среди опубликованных материалов присутствуют выкладки по гипотезе Ходжа для абелевых многообразий с комплексным умножением и исследованию дзета-функции Римана, текст по которой дополнительно редактировался человеком для улучшения читаемости.
Публикация вызвала сдержанную реакцию научного сообщества. Консультативная группа по математике и ИИ (AGMAI) при Институте перспективных исследований заявила, что публикация не означает автоматического признания корректности выводов. Эксперты также предостерегли лаборатории от монополизации сложных вычислений на закрытых моделях, поскольку это создает неравенство в исследовательской среде.
Математики, опрошенные The New York Times и Scientific American, отметили, что масштабный массив данных сложно проверить вручную в короткие сроки, и призвали относиться к заявлениям OpenAI с осторожностью до тех пор, пока результаты нельзя будет воспроизвести независимо.
Пока нет комментариев. Будьте первым!