математика

ИИ Claude от Anthropic доказал Великую теорему Ферма, создав 13 миллионов строк кода за 11 дней. Это открывает новые возможности для автоматической верификации в криптографии и блокчейне.