AI-агент от Google DeepMind автономно решил девять задач Эрдёша
Исследователи из Google DeepMind опубликовали статью про AlphaProof Nexus. В этой системе LLM решает математические задачи, а Lean проверяет каждый шаг и даёт модели обратную связь.
AlphaProof Nexus самостоятельно решила 9 из 353 открытых задач Эрдёша. Еще она доказала 44 из 492 гипотез OEIS. Стоимость решения одной задачи авторы оценивают в несколько сотен долларов.
Подписывайтесь на Telegram GPT/ChatGPT/AI Central Александра Горного.