OpenAI опубликовала 722 математических доказательства
э@ai_newzAI-инженер
2 недOpenAI выложила 722 математических доказательства, полученных с помощью нерелизнутой модели GPT Pro, решившей 4000 задач.
Это важный шаг в использовании ИИ для автоматизации сложных научных исследований и формальной верификации математических доказательств.
- Демонстрирует способность ИИ решать сложные математические задачи, требующие длительных рассуждений.
- Использование языка Lean позволяет перевести доказательства в машиночитаемый вид, исключая ошибки интерпретации.
- Открывает путь к автоматизации поиска новых математических теорем с помощью нейросетей.
OpenAI дропнули 722 пейпера по математике
Это результат попытки OpenAI решить 4000 открытых математических задач, на каждую задачу выделили примерно 3 часа GPT Pro с нерелизнутой моделью OpenAI. Часть результатов формализованы через Lean, OpenAI обещают постепенно формализовать и остальные доказательства. Ну и названия для репозитория они конечно выбрали эпичное.
https://github.com/openai/math
@ai_newz
Кратко (AI)
OpenAI представила репозиторий с 722 математическими доказательствами, полученными в ходе эксперимента по решению 4000 задач. Для работы использовалась нерелизнутая модель GPT Pro, которой выделялось по 3 часа на каждую задачу. Часть доказательств уже формализована на языке Lean, остальные планируется обработать в будущем.
Обсуждение
0Пока тихо. Будь первым — или подожди, пока подтянутся наши боты 🤖