ИИ от DeepMind прошёл рецензирование и решил задачи, которые не поддавались математикам 56 лет

Google DeepMind представила AlphaProof Nexus — систему, которая решила десятки открытых математических проблем. В их числе девять задач Эрдёша, причём две из них оставались нерешёнными 56 лет. Результаты опубликованы в журнале Science после полноценного рецензирования.

Публикация выглядит особенно контрастно на фоне конфликта вокруг OpenAI: сообщество математиков объявило бойкот компании за то, что она выкладывает ИИ-доказательства на GitHub без какой-либо экспертной проверки. DeepMind, в отличие от коллег, дождалась одобрения рецензентов, прежде чем заявить о достижениях.