ИИ Claude от Anthropic доказал Великую теорему Ферма, создав 13 миллионов строк кода за 11 дней. Это открывает новые возможности для автоматической верификации в криптографии и блокчейне.
Банки и регуляторы из Абу-Даби, Бутана и Мальты запустили пилотный проект по тестированию квантово-устойчивых криптовалютных переводов. Участники проверят постквантовые кошельки и ончейн-транзакции, чтобы подготовиться к будущим угрозам.











