🤖 Claude за 11 дней автономно формализовал доказательство Великой теоремы Ферма — получилось 13 млн строк кода и 29 500 промежуточных лемм.

То, что раньше считалось многолетней работой для команды математиков, ИИ прогнал за неделю.