Компания Anthropic сообщила , что ее модель искусственного интеллекта Claude впервые создала полное формальное доказательство Великой теоремы Ферма, которое может быть целиком проверено компьютером. Работа заняла 11 дней: система написала около 13 млн строк кода на языке Lean и доказала десятки тысяч промежуточных утверждений.