«Lean Ethereum»: STARK і захист від квантів — та за строки вже сперечаються
Віталік Бутерін показав дорожню карту Lean Ethereum: STARK-докази, квантова стійкість, −10× до…
«Китайська проблема» Claude Code: Anthropic обмежує доступ, Alibaba забороняє співробітникам
За даними FT і The Information, Anthropic закриває Китаю доступ до Claude…
Mistral відкрила Leanstral 1.5: 100% на формальній математиці та 5 знайдених багів
Mistral випустила open-source модель Leanstral 1.5 (Apache 2.0) для формальної верифікації в…
Відколи ШІ почав шукати вразливості, кількість звітів про критичні CVE зросла в 3,5 раза
Epoch AI: у червні 2026 організації повідомили про ~1500 критичних CVE —…
Спотові біткоїн-ETF отримали $223 млн — найбільший приплив із травня, обірвавши 10 днів відпливу
3 липня спотові біткоїн-ETF залучили $223 млн — максимум із травня. Це…
Трамп задекларував $1,4 млрд доходу від крипти за час президентства
За декларацією Управління з етики США за 2025 рік Трамп заробив $1,4…
OKX підтримає апгрейд мережі Polygon і розширює cool-off у ф’ючерсах на API та ботів
OKX від 2 липня призупинила ввід і вивід токенів мережі Polygon на…
Nvidia змінює модель: тепер вона бере частку з доходу AI-хмар, а не лише продає GPU
Nvidia запустила модель revenue-sharing: окрім продажу GPU вона бере частку доходу AI-хмар…
