OpenAI публикует 719 математических работ своей внутренней модели; формально в Lean проверено 42% основных результатов06.10.2026 · НаукатехнологияМодели рассужденийисточникgithub.com ↗¶ cs7sx455u