Компания OpenAI открыла публичный доступ к 722 рукописям, в которых собраны решения и наработки по 372 значимым математическим проблемам. Материалы размещены в репозитории на сервисе GitHub, о чём сообщает сайт infohub.kz.
Как пишет Engadget, при подготовке публикации разработчики задействовали невыпущенную модель искусственного интеллекта ChatGPT. Она генерировала ответы на основе одиночных запросов, а на получение одного результата в среднем уходило около трёх часов работы в режиме ChatGPT Pro. В документе также приведены ход рассуждений нейросети и примерные оценки затраченных вычислительных ресурсов.
Среди заявленных достижений значатся решение четырёхмерной гипотезы Какеи, улучшение ключевых компьютерных алгоритмов и продвижение в доказательстве гипотезы Римана. Компания утверждает, что действовала по рекомендациям своего независимого консультативного совета по математике и искусственному интеллекту. Вместе с тем некоторые советы экспертов разработчики проигнорировали: они не раскрыли точное время вычислений для отдельных задач и конкретные тексты промптов.
Представленные материалы ещё должны пройти детальную проверку математическим сообществом. Учёные относятся к заявленным результатам с осторожностью. Эксперты отмечают, что пока модель не предоставили для независимого тестирования, любые заявления о решении сложных задач с первой попытки стоит считать неподтверждёнными.


