ИИ-агент DeepMind закрыл 9 математических задач. Цена — около $200 на задачу
habr.comGoogle DeepMind опубликовал препринт про агента AlphaProof Nexus, который автономно нашел формальные доказательства для 9 из 353 открытых задач из каталога венгерского математика Пола Эрдёша.
Медианная стоимость успешной попытки — около $200, разброс от $20 до $800.Среди решенных — задача #12 Эрдёша и Шаркози из 1970 года, которая была открыта 56 лет: построить бесконечное множество натуральных чисел, в котором ни одно число не делит сумму двух больших.
