Google DeepMind запустил инициативу AI for Math — ИИ выходит…

Google DeepMind запустил инициативу AI for Math — ИИ выходит на уровень великих математиков

Компания Google DeepMind объявила о старте программы AI for Math, созданной совместно с пятью ведущими научными центрами — Imperial College, IAS, IHES, Simons Institute и TIFR.

Проект объединяет три ключевые системы:
— Gemini Deep Think — для многоэтапных рассуждений и решения олимпиадных задач;
— AlphaProof — для формальных математических доказательств;
— AlphaEvolve — для автоматического поиска новых алгоритмов.

Результаты уже впечатляют:
— Gemini Deep Think получила золото на Международной математической олимпиаде 2025, набрав 35 из 42 баллов и идеально решив пять задач из шести;
— AlphaEvolve впервые за 56 лет превзошла алгоритм Штрассена для умножения матриц 4×4 — сократив количество операций с 49 до 48;
— а также улучшила решения в 20% из более чем 50 открытых математических задач.

DeepMind фактически превращает искусственный интеллект в нового исследователя-математика, способного не только решать задачи, но и изобретать новые методы.