DeepMind решила задачи Эрдёша и прошла рецензию в Science

Google DeepMind создала систему под названием AlphaProof Nexus. Она работает на модели компании Gemini 3.1 Pro. Система пишет математические доказательства на Lean — формальном языке, который автоматически проверяет каждый шаг доказательства. AlphaProof Nexus решила девять из 353 открытых проблем Эрдёша — давнего списка нерешённых математических вопросов. Две из этих девяти не были решены 56 лет. Результаты прошли рецензирование и были опубликованы в журнале Science.

В те же дни OpenAI, другая ИИ-лаборатория, выложила сотни своих математических доказательств на GitHub, сайте для хостинга кода, без проверки. Математики во главе с Теренсом Тао через Association for Human Mathematics призвали бойкотировать такой подход. Доказательства DeepMind, напротив, прошли стандартное научное рецензирование. Этот разрыв — напоминание для всех, кто использует результаты, сгенерированные ИИ. Ответ, который выглядит готовым, всё равно нуждается в отдельной проверке, прежде чем ему можно доверять.