OpenAI · 6 жовтня 2026 р.

Ділимося прогресом ШІ в математиці

OpenAI публікує нові результати внутрішньої передової моделі щодо відкритих математичних задач і ділиться на GitHub формалізаціями доведень у Lean та деталями досліджень.

Мова оригінального джерела · англійська

Прочитати оригінал

Перевірено · 10 жовтня 2026 р.