# Google научили ИИ-агентов находить новые квантовые алгоритмы и сразу доказывать их корректность и стоимость в Lean.

**Published:** 9 ноября 2026 г.
**Author:** Все о блокчейн/мозге/space/WEB 3.0 в России и мире
**Source:** Telegram — blockchainRF (блокчейн / мозг / space / WEB 3.0)
**Language:** ru-RU
**HTML:** https://aiqazaqstan.com/ru/articles/google-nauchili-ii-agentov-nakhodit-novye-kvantovye-algoritmy-i-srazu-do

Google научили ИИ-агентов находить новые квантовые алгоритмы и сразу доказывать их корректность и стоимость в Lean. Над этим работала как команда DeepMind, так и Quantum. Эта работа отличается от прошлых подходов, где ИИ-агенты проверяли квантовые схемы численным моделированием…

> Материал агрегирован из первоисточника: **Telegram — blockchainRF (блокчейн / мозг / space / WEB 3.0)**
> [Читать полностью в Telegram — blockchainRF (блокчейн / мозг / space / WEB 3.0)](https://t.me/blockchainRF/13591)

**Теги:** #Google DeepMind #arXiv

---

*AI Qazaqstan — non-commercial informational portal about AI in Kazakhstan. Machine translations and summaries are AI-generated.*