OpenAI публикует прогресс в области математического AI,lean proofs на GitHub

·Autoro Tech

OpenAI опубликовал новые результаты из внутреннего передового AI модели, решая ранее нерешенные задачи в математике. Компания сделала общедоступными Lean proof formalizations и полные детали исследования на GitHub.

Этот выпуск предоставляет представление о том, как AI модели подступаются к сложным математическим задачам. Обнародованная информация включает методы, используемые AI моделью OpenAI для генерации решений, а также структурированные доказательства в Lean, формальном ассистенте доказательств.

GitHub репозиторий содержит полный набор данных и код, позволяя исследователям и разработчикам просмотреть процесс решения задач AI. Этот шаг поддерживает прозрачность в разработке AI для научных приложений.

Source: https://openai.com/index/sharing-ai-progress-in-mathematics