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

Автор: admin

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

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

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

10:3414.10
Генерация медиа

Google запустила Playground для создания игр по текстовому описанию

Google представила Playground — экспериментальную браузерную платформу, где игры можно создавать через текстовые запросы. Пользователь описывает идею, меняет правила, персонажей или окружение и сразу…