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

Все новостиСобытия и первоисточники.

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

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

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

10:3414.10
Модели

Google открыла доступ к Gemini 4 Argon

Google 13 октября объявила о доступности Gemini 4 Argon — модели для сложных задач программирования, работы с документами, науки и многошаговых агентных процессов. Доступ…