Если кто-то сегодня уверенно объясняет вам, где проходит граница между возможностями человека и ИИ, — спросите, когда он последний раз ее проверял. На днях модель Claude формализовала доказательство Великой теоремы Ферма — той самой, над которой математики бились три с половиной века. Формализовать — значит перевести доказательство в код, который машина проверяет шаг за шагом, не пропуская ни одного этапа в рассуждении. Профессор Кевин Баззард из Имперского колледжа Лондона руководил проектом по такой формализации и рассчитывал, что работа займет годы. А товарищ Claude справился за 11 дней, написав около 13 миллионов строк кода и доказав более 30 тысяч промежуточных теорем. Баззард результат изучил и назвал достижение выдающимся. В таких новостях больше впечатляет не скорость ИИ, а скорость, с которой устаревают наши представления о том, что ему недоступно. Любопытно, что мы будем считать исключительно человеческой способностью года через два...