DeepMind представила AlphaProof 2 — систему ИИ для автоматической проверки математических доказательств, что может изменить подход к верификации математических работ.
Переход от экспериментов к промышленному инференсу становится ключевым вызовом для корпоративного ИИ. Только 22% компаний смогли операционализировать ИИ, остальные застряли в пилотных проектах.
Искусственный интеллект от MIT научился работать с CAD-программами как человек, создавая 3D-модели по 2D-эскизам. Система обучалась на 41 000 видеозаписей проектирования.
Google представила WeatherNext 2 — ИИ-модель для прогнозирования погоды, которая работает в 8 раз быстрее предыдущей версии и будет интегрирована в популярные сервисы компании.
Янн ЛеКун представил LeJEPA — метод самообучения без инженерных трюков. Это его последний проект в Meta* перед уходом в стартап. Метод показывает конкурентоспособные результаты на 60+ моделях.
Китайская модель DeepEyesV2 демонстрирует, что интеллектуальное использование внешних инструментов позволяет небольшим ИИ-моделям превосходить более крупных конкурентов.