ИИ: новости и практика / Aelira18 октября 2026

Исследования

10:3414.10
Исследования

OpenAI опубликовала математические результаты и формализации в Lean

OpenAI 6 октября опубликовала подборку математических результатов, полученных с участием внутренней передовой модели. Материалы размещены в репозитории GitHub вместе с правилами исправления работ и…