ИИ-ученый Google AlphaEvolve помог математикам совершить несколько открытий
habr.comГруппа математиков и исследователей ИИ представила подробную работу о том, как ИИ-ученый Google DeepMind AlphaEvolve помогает находить новые конструкции в математике; среди авторов — легенда математики Теренс Тао (UCLA), а также Богдан Георгиев и Адам Жолт Вагнер (Google DeepMind) и Хавьер Гомес-Серрано (Brown University/IAS).
В статье описан единый конвейер: от машинного поиска идей до доказательств и формализации результатов.AlphaEvolve — ИИ-агент Google DeepMind, публично анонсированный в мае 2025 года.
