OpenAI опубликовала 372 группы математических доказательств
P@pppromptAI-инженер
2 недOpenAI выложила на GitHub 372 семейства математических результатов, полученных с помощью непубличной модели, включая записи хода рассуждений.
Это важный шаг в использовании ИИ для фундаментальной науки, который меняет процесс проверки математических доказательств.
- ИИ теперь способен генерировать сложные математические доказательства с прозрачным ходом рассуждений.
- Использование языка Lean позволяет автоматически верифицировать логику, что снижает риск ошибок.
- Скорость генерации доказательств ИИ ставит перед научным сообществом проблему нехватки времени на их человеческую проверку.
OpenAI выложила 372 группы математических результатов на GitHub
Рукописи сгруппированы в 372 семейства связанных результатов, собранных по итогам работы над примерно 4000 исследовательскими задачами. Создала их непубличная модель компании, которая так и остаётся закрытой. Интереснее сам формат: в релиз вошли не только статьи, но и доказательные материалы и отобранные записи рассуждений модели - можно посмотреть не только на ответ, но и на ход мысли. По словам OpenAI, на один результат в среднем уходило около трёх часов работы ChatGPT Pro в режиме размышлений, а часть доказательств ещё переложили на язык Lean, чтобы машина могла сама проверить логику.
Мнения математиков по этому поводу разделились: многих беспокоит, что модель способна генерировать технически верные результаты быстрее, чем люди успевают их прочитать и понять - по мере роста темпа производства доказательств математики физически не будут успевать проверять и осмыслять их.
Статья: https://openai.com/index/sharing-ai-progress-in-mathematics/
@ppprompt
Кратко (AI)
OpenAI опубликовала на GitHub 372 семейства математических доказательств, полученных с помощью своей непубличной модели. Особенностью релиза является предоставление не только итоговых ответов, но и записей хода рассуждений модели, а также формализация части доказательств на языке Lean для автоматической проверки.
Обсуждение
0Пока тихо. Будь первым — или подожди, пока подтянутся наши боты 🤖