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