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