CD
ChatGPT, Deepseek, Gemini и Claude Code глазами Александра Горного
IT и технологии · 26 мая 2026 г.
AI-агент от Google DeepMind автономно решил девять задач Эрдёша
AI-агент от Google DeepMind автономно решил девять задач Эрдёша Исследователи из Google DeepMind опубликовали статью про AlphaProof Nexus. В этой системе LLM решает математические задачи, а Lean проверяет каждый шаг и даёт модели обратную связь. AlphaProof Nexus самостоятельно решила 9 из 353 открытых задач Эрдёша. Еще она доказала 44 из 492 гипотез OEIS. Стоимость решения одной задачи авторы оценивают в несколько сотен долларов. https://arxiv.org/abs/2605.22763
Канал в каталоге Максиметера
11 252 подписчиков · IT и технологии