R

RAG | Нейросети | ИИ | AI | Агенты | Genie 4 | Grok 4.7 | Muse Spark Open | Llama 4 Scout | GLM 5.3 Flash | GPT-6 Astra | RTX Spark | World Models | Grok Voice 3.0 | DeepSeek V4.1 | Mistral Voxtral 3

IT и технологии · 1 августа 2026 г.

Открыть канал в MAX

Tencent выпустила Hyra — открытого AI-агента, и он стал соавтором математического доказ...

Tencent выпустила Hyra — открытого AI-агента, и он стал соавтором математического доказательства. Не в переносном смысле. Агент решил 29 из 55 открытых задач о суммах-разностях, обойдя лучший человеческий результат. Томас Блум лично проверил и подписал статью «Lin, Li, and Hyra». Доказательство верифицировано в Lean. Под капотом — Hy3 (295B MoE, Apache 2.0).