OpenAI выложила 722 математические работы своей внутренней модели
Все статьи https://openai.com/index/sharing-ai-progress-in-mathematics/)' rel='nofollow' target='_blank'>(https://openai.com/index/sharing-ai-progress-in-mathematics/)' rel='nofollow' target='_blank'>https://openai.com/index/sharing-ai-progress-in-mathematics/)
написала внутренняя модель компании, название которой не раскрывают. На GitHub они разбиты https://github.com/openai/math)' rel='nofollow' target='_blank'>(https://github.com/openai/math)' rel='nofollow' target='_blank'>https://github.com/openai/math)
на 372 семейства, от теории чисел и теоретической информатики до геометрии и математической физики.
Среди заявленных результатов есть доказательство рациональной гипотезы Ходжа для абелевых многообразий с комплексным умножением, гипотезы Капланского о прямой конечности в характеристике два и новая оценка показателя иррациональности числа π.
Рецензию работы не проходили, и независимо их пока никто не проверял.
Около 4000 задач модель получила во время внутренней оценки. Её расширили, когда прежние математические тесты перестали отличать модели друг от друга.
В среднем на один результат уходило столько вычислений, сколько примерно за три часа тратит ChatGPT Pro в режиме рассуждений.
Для 162 работ вылоhttps://github.com/openai/math/tree/main/lean)' rel='nofollow' target='_blank'>жены (https://github.com/openai/math/tree/main/lean)' rel='nofollow' target='_blank'>https://github.com/openai/math/tree/main/lean)
доказательства на Lean. Каталог этих формализаций сама OpenAI считает как частичный и непроверенный. К десяти результатам приложены сокращённые записи рассуждений модели.
О том, как публиковать такие результаты, OpenAI советовалась с независимой Консультативной группой по математике и ИИ при Институте перспективных исследований в Принстоне.
Компания также обещает финансировать математические семинары и конференции в будущем.
#news #ai #ml
Все статьи https://openai.com/index/sharing-ai-progress-in-mathematics/)' rel='nofollow' target='_blank'>(https://openai.com/index/sharing-ai-progress-in-mathematics/)' rel='nofollow' target='_blank'>https://openai.com/index/sharing-ai-progress-in-mathematics/)
написала внутренняя модель компании, название которой не раскрывают. На GitHub они разбиты https://github.com/openai/math)' rel='nofollow' target='_blank'>(https://github.com/openai/math)' rel='nofollow' target='_blank'>https://github.com/openai/math)
на 372 семейства, от теории чисел и теоретической информатики до геометрии и математической физики.
Среди заявленных результатов есть доказательство рациональной гипотезы Ходжа для абелевых многообразий с комплексным умножением, гипотезы Капланского о прямой конечности в характеристике два и новая оценка показателя иррациональности числа π.
Рецензию работы не проходили, и независимо их пока никто не проверял.
Около 4000 задач модель получила во время внутренней оценки. Её расширили, когда прежние математические тесты перестали отличать модели друг от друга.
В среднем на один результат уходило столько вычислений, сколько примерно за три часа тратит ChatGPT Pro в режиме рассуждений.
Для 162 работ вылоhttps://github.com/openai/math/tree/main/lean)' rel='nofollow' target='_blank'>жены (https://github.com/openai/math/tree/main/lean)' rel='nofollow' target='_blank'>https://github.com/openai/math/tree/main/lean)
доказательства на Lean. Каталог этих формализаций сама OpenAI считает как частичный и непроверенный. К десяти результатам приложены сокращённые записи рассуждений модели.
О том, как публиковать такие результаты, OpenAI советовалась с независимой Консультативной группой по математике и ИИ при Институте перспективных исследований в Принстоне.
Компания также обещает финансировать математические семинары и конференции в будущем.
#news #ai #ml