Google DeepMind представила ИИ, который помогает математикам открывать новые теоремы
habr.comGoogle DeepMind анонсировала AlphaEvolve — новую систему искусственного интеллекта, способную работать не как автоматический доказчик, а как партнёр-генератор идей.
Сервис ориентирован на задачи из теоретической информатики и математики, где важна стопроцентная строгость. В отличие от привычных LLM, которые пытаются писать доказательства целиком (что почти всегда приводит к ошибкам и галлюцинациям), AlphaEvolve действует иначе.
