Решение Nexus от AlphaProof компании Google DeepMind решило 9 задач Эрдёша 26 мая — это самая старая нерешённая задача за 56 лет

По данным xinzhiyuan, Google DeepMind выпустила AlphaProof Nexus 26 мая — ИИ-математического агента, который решил девять давних нерешённых задач Эрдёша; самая старая оставалась нерешённой 56 лет. Стоимость каждого решения составляла лишь несколько сотен долларов.

Каждое доказательство было формально верифицировано компилятором Lean, исключив возможность ошибки. DeepMind также сообщила о прорывах в алгебраической геометрии, выпуклой оптимизации, теории графов и квантовой оптике.