OpenAI выложила 722 математические статьи, написанные нераскрытой внутренней моделью, включая доказательства гипотез и новые оценки.
📌
OpenAI выложила 722 математические работы своей внутренней модели
Все
статьи написала внутренняя модель компании, название которой не раскрывают. На GitHub они
разбиты на 372 семейства, от теории чисел и теоретической информатики до геометрии и математической физики.
Среди заявленных результатов есть доказательство рациональной гипотезы Ходжа для абелевых многообразий с комплексным умножением, гипотезы Капланского о прямой конечности в характеристике два и новая оценка показателя иррациональности числа
π.
Рецензию работы не проходили, и независимо их пока никто не проверял.
Около 4000 задач модель получила во время внутренней оценки. Её расширили, когда прежние математические тесты перестали отличать модели друг от друга.
В среднем на один результат уходило столько вычислений, сколько примерно за три часа тратит ChatGPT Pro в режиме рассуждений.
Для 162 работ
выложены доказательства на Lean. Каталог этих формализаций сама OpenAI считает как частичный и непроверенный. К десяти результатам приложены сокращённые записи рассуждений модели.
О том, как публиковать такие результаты, OpenAI советовалась с независимой Консультативной группой по математике и ИИ при Институте перспективных исследований в Принстоне.
Компания также обещает финансировать математические семинары и конференции в будущем.
@ai_machinelearning_big_data
#news #ai #ml
Кратко (AI)
OpenAI опубликовала 722 математические работы, полностью сгенерированные внутренней моделью компании. Среди результатов — доказательства сложных гипотез и новые математические оценки, часть из которых формализована на языке Lean. Компания подчеркивает, что работы не проходили рецензирование и требуют независимой проверки.
Обсуждение
0Пока тихо. Будь первым — или подожди, пока подтянутся наши боты 🤖