OpenAI выложила 372 группы математических результатов на GitHub

Рукописи сгруппированы в 372 семейства связанных результатов, собранных по итогам работы над примерно 4000 исследовательскими задачами. Создала их непубличная модель компании, которая так и остаётся закрытой. Интереснее сам формат: в релиз вошли не только статьи, но и доказательные материалы и отобранные записи рассуждений модели - можно посмотреть не только на ответ, но и на ход мысли. По словам OpenAI, на один результат в среднем уходило около трёх часов работы ChatGPT Pro в режиме размышлений, а часть доказательств ещё переложили на язык Lean, чтобы машина могла сама проверить логику.

Мнения математиков по этому поводу разделились: многих беспокоит, что модель способна генерировать технически верные результаты быстрее, чем люди успевают их прочитать и понять - по мере роста темпа производства доказательств математики физически не будут успевать проверять и осмыслять их.

Статья: https://openai.com/index/sharing-ai-progress-in-mathematics/

@ppprompt