Anthropic сообщает, что Claude завершил доказательство теоремы Ферма за 11 дней. Доказательство состоит из 13 миллионов строк.