OpenAI опубликовала 722 математические рукописи
6 октября OpenAI представила результаты внутренней ИИ-модели: 722 препринта, объединённые в 372 семейства результатов. Среди них — заявленные доказательства и контрпримеры к известным математическим гипотезам. Для многих результатов опубликованы формализации на Lean.
https://openai.com/index/sharing-ai-progress-in-mathematics/
https://github.com/openai/math/blob/main/overview.pdf
6 октября OpenAI представила результаты внутренней ИИ-модели: 722 препринта, объединённые в 372 семейства результатов. Среди них — заявленные доказательства и контрпримеры к известным математическим гипотезам. Для многих результатов опубликованы формализации на Lean.
https://openai.com/index/sharing-ai-progress-in-mathematics/
https://github.com/openai/math/blob/main/overview.pdf