OpenAI · 6 октября 2026 г.

Делимся успехами ИИ в математике

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

Язык исходного источника · английский

Читать оригинал

Проверено · 10 октября 2026 г.