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 фактически превращает искусственный интеллект в нового исследователя-математика, способного не только решать задачи, но и изобретать новые методы.
