Claude за 11 дней формализовал доказательство Великой теоремы Ферма
ניוזראו
Компания Anthropic сообщила, что ее модель искусственного интеллекта Claude впервые создала полное формальное доказательство Великой теоремы Ферма, которое может быть целиком проверено компьютером.