Mistral відкрила Leanstral 1.5: 100% на формальній математиці та 5 знайдених багів
Mistral випустила open-source модель Leanstral 1.5 (Apache 2.0) для формальної верифікації в Lean 4: 100% на miniF2F і 5 раніше невідомих багів у 57 репозиторіях.
Відколи ШІ почав шукати вразливості, кількість звітів про критичні CVE зросла в 3,5 раза
Epoch AI: у червні 2026 організації повідомили про ~1500 критичних CVE — у 3,5 раза вище за рекорд. Сплеск збігся з ШІ-баґхантерами Anthropic та OpenAI.
Спотові біткоїн-ETF отримали $223 млн — найбільший приплив із травня, обірвавши 10 днів відпливу
3 липня спотові біткоїн-ETF залучили $223 млн — максимум із травня. Це обірвало 10-денну серію відпливів на $2,73 млрд; BTC відскочив вище $62 000.
Трамп задекларував $1,4 млрд доходу від крипти за час президентства
За декларацією Управління з етики США за 2025 рік Трамп заробив $1,4 млрд на крипті: мемкоїн, World Liberty Financial і частка у стейблкоїн-проєкті.
Яку локальну LLM обрати в 2026: 11 моделей під задачу та залізо
Яку локальну LLM обрати у 2026: алгоритм від задачі та VRAM до моделі, майстер-таблиця 11 моделей із розборами та вибір під чат, код, зір і голос.
Кастодіальний і некастодіальний гаманець: різниця і що обрати
Некастодіальний і кастодіальний гаманець простими словами: хто тримає приватний ключ, чим загрожує кожен варіант на прикладах FTX і втрати seed, і як обрати.
Який криптогаманець обрати: розбір найкращих під різні задачі
ТОП криптогаманців: апаратні Ledger, Trezor, Tangem і програмні MetaMask, Trust Wallet, Exodus — критерії вибору, ціни і чесно про виведення на картку.
Майнінг на RTX 6000 Ada і A6000: чи варто добувати на проф-картах
Майнінг на RTX 6000 Ada і A6000 у 2026: хешрейт і окупність у десятки років, 48 ГБ пам'яті під локальний ШІ і чому оренда GPU під ШІ вигідніша за видобуток.
Майнінг на RX 7600 і 7600 XT: хешрейт, розгін, дохідність
Скільки майнять RX 7600 і 7600 XT у 2026: хешрейт, чесна дохідність за 4 тарифами з порогом беззбитковості, різниця 8 і 16 ГБ і чому 16 ГБ корисніші під ШІ.
OKX підтримає апгрейд мережі Polygon і розширює cool-off у ф’ючерсах на API та ботів
OKX від 2 липня призупинила ввід і вивід токенів мережі Polygon на час апгрейду, а від 7 липня розширить cool-off у ф'ючерсах на API, ботів і копітрейдинг.
Nvidia змінює модель: тепер вона бере частку з доходу AI-хмар, а не лише продає GPU
Nvidia запустила модель revenue-sharing: окрім продажу GPU вона бере частку доходу AI-хмар і викуповує GPU, що простоюють. Розбираємо, що це означає.
Ціни на пам’ять знову зростають: серверна DRAM подорожчає на 13–18% у III кварталі
TrendForce: у 3Q26 серверна DRAM подорожчає на 13–18%, PC DRAM до 20%, NAND на 10–15%. Драйвер — AI-сервери. Що це означає для збирачів ПК і геймерів.
