​
Галоўная > Дайджэст ШІ: 8–15 верасня 2026 года

Дайджэст ШІ: 8–15 верасня 2026 года

AI

🔥 GPT-6 Astra ўрываецца ў гульню, MCP-серверы пад масавай атакай, а лакальны інферэнс робіць чарговы скачок: OpenAI выпусціла GPT-6 Astra — першую мадэль, якая актывавала «крытычны» парог кібербяспекі. Тым часам рэальныя атакі «Tool Poisoning» на MCP-серверы прымушаюць індустрыю тэрмінова перагледзець мадэль даверу да агентных інструментаў, Anthropic узмацняе Claude Code новымі Plugin Evals, ExLlamaV3 прасоўвае межы лакальнага квантавання з фарматам EXL3, а Google Antigravity дэманструе, як рэактыўная архітэктура вызваляе агентаў ад забойнага полінгу.

1. Храналогія тыдня

2. OpenAI GPT-6 Astra: Першая мадэль за «крытычным» парогам кібербяспекі

3 верасня кампанія OpenAI прадставіла абмежаваны прэв'ю, а 4 верасня — публічны рэліз свайго новага флагмана: мадэлі GPT-6 Astra, якую кампанія называе «генерацыйным скачком» у інтэлекце. Мадэль таксама адразу інтэгравана ў GitHub Copilot.

Чаму гэта важна

GPT-6 Astra стала першай мадэллю ў гісторыі OpenAI, якая актывавала «крытычны» (Critical) парог кібербяспекі паводле ўнутранай сістэмы ацэнкі Preparedness Framework. На бэнчмарку ExploitBench мадэль набрала 100%, на FrontierMath (Tier 4) — 98%, а на ARC-AGI-3 — 99.9%. У адказ на гэтыя магчымасці OpenAI ўвяла строгі маніторынг траекторый мадэлі і абмежаваны доступ да кібер-функцый.

Тэхнічныя характарыстыкі

  • Кантэкстнае акно: 1 050 000 токенаў
  • Максімальны вывад: 128 000 токенаў
  • Новая тэхніка: Recurrent Depth — рэкурэнтная глыбіня разважанняў для шматкрокавых задач
  • API-цэны: $10 / мільён уваходных, $50 / мільён выхадных токенаў
  • Магчымасці: computer use (кіраванне праграмамі і браўзерамі без API), browsing, software engineering, кібербяспека, навуковыя даследаванні

Кантэкст рэлізу

OpenAI пазіцыянуе Astra не як чат-бота, а як «кампутарнага аператара» — мадэль, здольную ўзаемадзейнічаць з праграмамі, запаўняць формы, праводзіць QA-праверкі і навігаваць інтэрфейсы. Рэліз адбыўся пасля перыяду запаволенай распрацоўкі і ўзмоцненага фокусу на бяспецы — часткова ў адказ на інцыдэнт з бяспекай раней улетку 2026 года.

Для кантэксту: папярэдняя мадэль o3 была выпушчана ў красавіку 2025 і выведзена з ChatGPT 26 жніўня 2026. Паміж імі быў GPT-5.3-Codex (люты 2026), але Astra — гэта якасна новы генерацыйны скачок.

Крыніцы: OpenAI, Wikipedia — GPT-6, GitHub Blog

3. Парадыгма Spec-Driven Development набірае сілу

На працягу верасня 2026 года ўсё мацней гучыць дыскусія вакол Spec-Driven Development (SDD) — падыходу, дзе спецыфікацыя становіцца адзінай крыніцай ісціны, а код разглядаецца як расходны матэрыял.

Роля AAIF

Кансорцыум Agentic AI Foundation (AAIF), заснаваны пад эгідай Linux Foundation, аб'яднаў буйнейшых гульцоў індустрыі (Anthropic, OpenAI, Google, Microsoft) вакол стандартызацыі агентных працоўных працэсаў. AAIF хостыць такія праекты як Model Context Protocol (MCP), goose і AGENTS.md.

Сутнасць SDD

Ідэя «Code is Ephemeral, Spec is Forever» — якая набірае абароты ў інжынернай супольнасці — апісвае парадыгму, дзе:

  1. Інжынер піша і рэдагуе спецыфікацыю — апісвае кантракты, інварыянты, правілы бяспекі і крытэрыі прыёмкі.
  2. Код генеруецца аўтаматычна — агент піша рэалізацыю паводле спецыфікацыі.
  3. Пры змене патрабаванняў код перагенеруецца — замест рэфактарынгу.

«Калі ваш агент можа напісаць 10 000 радкоў карэктнага і пратэставанага коду за пару хвілін, спробы чалавека ўручную "акуратна выправіць адзін клас" выглядаюць як спроба перапісваць кнігі пяром пасля вынаходніцтва друкарскага варштата.»

Крыніцы: AAIF, MCP, дыскусія на Hacker News

4. Архітэктура Reactive Wakeup: Агенты без полінгу

Адной з ключавых архітэктурных інавацый у сучасных IDE стала рэактыўная мадэль абуджэння (Reactive Wakeup), рэалізаваная ў Google Antigravity і яго афіцыйных пашырэннях для VS Code, Zed, JetBrains і Xcode.

Праблема

Дагэтуль большасць аўтаномных сістэм працавала паводле прынцыпу «сляпога чакання»: запусцілі доўгую каманду, тэсты або зборку Docker — і агент пачынае кожныя 5 секунд спаміць status, ps або sleep 10, спальваючы дарагія токены і забіваючы кантэкст непатрэбным смеццем.

Рашэнне: Reactive Agent Event Loop

  • Канец полінгу: Калі агент запускае доўгатэрміновы працэс (кампіляцыю, сервер базы даных, міграцыю), ён не круціцца ў бясконцым цыкле. Ён засынае і цалкам вызваляе вылічальныя рэсурсы.
  • Рэактыўнае абуджэнне (Reactive Wakeup): Сістэма сама абуджае мадэль у той самы момант, калі адбылася мэтавая падзея — напрыклад, упаў тэст з канкрэтным stderr, адкрыўся порт 8080, або прыйшоў сігнал пра заканчэнне таймера.
  • Эканомія кантэксту: Кантэкстнае акно больш не забіваецца радкамі «Працэс усё яшчэ выконваецца...». Гісторыя чыстая: запуск каманды ➡️ вынік па меры гатоўнасці ➡️ наступнае рашэнне.

Antigravity таксама прапануе аркестрацыю субагентаў (паралельныя спецыялізаваныя агенты для планавання, кадзіравання і рэвью) і дэтэрміністычнае выкарыстанне лакальных інструментаў (ripgrep, ast-grep, shell) для дакладных правак без галючынацый.

Крыніца: Google Antigravity

5. Бітва за бяспеку: Рэальныя атакі «Tool Poisoning» на MCP-серверы

Шырокі распаўсюд пратаколаў MCP (Model Context Protocol) прынёс не толькі зручнасць, але і сур'ёзныя пагрозы бяспекі. У верасні 2026 года праблема «Tool Poisoning» стала адной з цэнтральных тэм кібербяспекі.

Рэальныя задакументаваныя інцыдэнты

  1. Postmark MCP-сервер (верасень 2025): Маінтэйнер неафіцыйнага MCP-серверу для Postmark мадыфікаваў код, каб ціха дадаваць BCC на адрас зламысніка ў кожны зыходны email. Змена заставалася незаўважанай тыднямі.

    • Чаму гэта працавала: Агент бачыў толькі апісанне інструмента «send email» і не правяраў рэалізацыю.

  2. WhatsApp History Exfiltration (красавік 2025): Даследчыкі з Invariant Labs прадэманстравалі proof-of-concept, дзе шкоднасны MCP-сервер выкарыстаў інструмент «random fact» як бэкдор для перахопу паведамленняў і эксфільтрацыі гісторыі чата.

  3. SmartLoader (люты 2026): Аперацыя з фальшывымі профілямі распрацоўшчыкаў на GitHub і сімуляваннымі ком'юніці для распаўсюджвання шкоднасных MCP-сервераў, якія дазвалялі выконваць несанкцыяніраваныя каманды.

  4. Маштаб праблемы (сярэдзіна 2026): Сканіраванне 33 000 MCP-сервераў паказала, што прыкладна 49% утрымліваюць хаця б адну ўразлівасць. Асобнае даследаванне MCPTox Benchmark (45 сервераў, 20 мадэляў) выявіла поспех Tool Poisoning да 72.8% у горшых выпадках, сярэдні паказчык — 36.5%, пры гэтым мадэлі амаль ніколі не адмаўлялі выконваць шкоднасныя інструкцыі (максімальны refusal rate — менш за 3%, у Claude 3.7 Sonnet).

Як працуе атака Tool Poisoning?

Зламыснік убудоўвае схаваныя інструкцыі ў метададзеныя MCP-інструмента (апісанне, schema). LLM успрымае гэтыя апісанні як даверчыя сістэмныя інструкцыі і можа выканаць шкоднасны загад — напрыклад, прачытаць ~/.aws/credentials або перадаць прыватныя ключы. Microsoft апублікавала папярэджанне, што гэта эксплуатацыя мяжы даверу (trust boundary) паміж агентам і вонкавымі інструментамі, а не памылка ў кодзе агента.

Адказ індустрыі

  • Akuity (14 верасня) запусціла Agentic Control Plane і Akuity MCP Server — кожнае дзеянне агента прывязваецца да рэальнай чалавечай ідэнтычнасці з RBAC, аўдыт-логамі і policy gates.
  • Kiteworks (8 верасня) паглынула ізраільскі стартап Bonfy.AI — runtime-класіфікацыя даных у момант іх перадачы агентамі. Восьмае паглынанне Kiteworks за пяць гадоў.
  • eBPF (Extended Berkeley Packet Filter) на ўзроўні ядра Linux дазваляе адсочваць і блакіраваць падазроныя сістэмныя выклікі агентаў без змены іх коду.
  • Tool Pinning/Hashing — замацаванне MCP-сервераў да канкрэтных версій і hash-сум для прадухілення «rug pull» атак.

Крыніцы: The Hacker News, Dark Reading, Microsoft, MCP, eBPF, Akuity, GlobeNewsWire — Akuity, Help Net Security — Kiteworks

6. Лакальны інферэнс: ExLlamaV3 v1.5 і фармат EXL3

Пакуль карпарацыі спрабуюць зацягнуць распрацоўшчыкаў у свае падпіскі, лакальны рух адказвае ўнушальнымі тэхнічнымі дасягненнямі.

ExLlamaV3 ад turboderp выпусціў v1.5.0 у сярэдзіне верасня 2026 з форматам квантавання EXL3, заснаваным на тэхналогіі QTIP (Quantization with Trellis-based Importance-aware Pruning):

  • Гнуткае размеркаванне бітаў: EXL3 вар'іруе колькасць бітаў па пластах і тэнзарах з дапамогай KL-дывергенцыі для аптымальнага размеркавання пры мэтавых бітрэйтах ад ~2.5 да 8 bpw. Бібліятэка вылічвае Hessians на лета і выкарыстоўвае fused Viterbi kernel для квантавання ў адзін крок.
  • Новыя аптымізацыі (v1.5): Zero-copy pinned arena mode для CPU offload (Linux), больш хуткі MoE prefill і decode, палепшаны speculative decoding для MoE-мадэляў, новыя архітэктуры (GLM, Deepseek, LFM, Spark), падтрымка Intel AVX512BW.
  • Рэкамендацыя: Аптымальны выбар для NVIDIA GPU, калі мэта — максімальная якасць/хуткасць на дадзеным VRAM-бюджэце. Рэкамендуецца сервіраваць праз TabbyAPI (OpenAI-сумяшчальны FastAPI-інтэрфейс).

Крыніца: ExLlamaV3 на GitHub, PyPI — exllamav3

7. Anthropic: Claude Fable 5.1 і Plugin Evals у Claude Code

Claude Fable 5.1 (1 верасня)

Anthropic выпусціла мадэль Claude Fable 5.1 — 1 верасня 2026. Гэта найбольш здольная мадэль кампаніі для амбіцыйных задач:

  • Кантэкст: 1 000 000 токенаў, максімальны вывад 128 000 токенаў
  • Adaptive Thinking заўсёды актыўнае па змаўчанні
  • Кошт кэша зніжаны на 75%: з $1.00 да $0.25 за мільён токенаў (cache reads). Зніжэнне кошту для тыпавых задач — ~25%, для кантэкста-цяжкіх агентных workflow — да 45%
  • WebDev Arena: #1 з Elo ~1691–1765, абышоўшы Claude Opus 5 і Kimi K3
  • Навука: 52.6% на Terminal-Bench-Science 0.1 — удвая больш за Fable 5

Plugin Evals у Claude Code v2.1.269 (11 верасня)

Plugin Evals — новая сістэма бэнчмаркінгу плагінаў і скіл Claude Code, прадстаўленая ў версіі v2.1.269. Мэта — перайсці ад «тэсціравання на адчуванні» да аўтаматызаваных CI/CD-праверак:

  • Шэсць тыпаў грэйдэраў:
    • Дэтэрміністычныя (бясплатныя): regex, tool_used, tool_order, file_exists
    • З мадэллю-суддзёй (платныя): llm (ацэнка па тэкставых крытэрыях), baseline (параўнанне з эталонам)
  • Δ-метрыка: Ядро ацэнкі — дэльта паміж вынікам з плагінам і без яго. Дадатная дэльта = плагін рэальна карысны.
  • CI-інтэграцыя: claude plugin eval --threshold 0.8 --max-cost-usd 20 — зборка правальваецца, калі якасць ніжэй парога.

Адкрыты код: MiniCPM5-2B (7 верасня)

OpenBMB выпусціла MiniCPM5-2B (7 верасня 2026) пад ліцэнзіяй Apache 2.0 — 2.52B-параметраў, dense-мадэль для on-device AI:

  • Кантэкст: 131 072 токены (!)
  • Архітэктура: LlamaForCausalLM (42 пласты, 16 query heads, 2 KV heads — grouped-query attention)
  • Гібрыднае разважанне: пераключэнне паміж рэжымамі «Think» (глыбокае) і «No-Think» (хуткае)
  • Runtime: llama.cpp, Ollama, LM Studio, MLX (Apple Silicon), vLLM, SGLang
  • Трэніровачныя дадзеныя выкладзены разам з вагамі пад зонцікам UltraData (вэб, код, agent fine-tuning, RL)

Крыніцы: Anthropic — Fable 5.1, WebDev Arena, MarkTechPost — MiniCPM5, vLLM — MiniCPM5

8. AlphaProof Nexus: ШІ вырашае адкрытыя задачы Эрдэша

Google DeepMind прадаўжае развіваць сваю сістэму AlphaProof — рухавік для фармальнага матэматычнага доказу, заснаваны на мове Lean 4 і навучанні з падмацаваннем.

AlphaProof Nexus (мај 2026)

У маі 2026 года каманда апублікавала прэпрынт «Advancing Mathematics Research with AI-Driven Formal Proof Search» з вынікамі сістэмы AlphaProof Nexus (заснаванай на Gemini 3.1 Pro + Lean):

  • 9 з 353 адкрытых задач Эрдэша вырашаны аўтаномна — гэта задачы, над якімі матэматыкі працавалі дзесяцігоддзямі
  • 44 з 492 адкрытых гіпотэз з Online Encyclopedia of Integer Sequences (OEIS) даказаны
  • Дадаткова вырашаны задачы ў алгебраічнай геаметрыі і тэорыі аптымізацыі
  • Усе фармальныя Lean-доказы выкладзены на GitHub

Тым часам 1 верасня 2026 Epoch AI анансавала бэнчмарк FrontierMath Erdős для стандартызаванай ацэнкі AI на адкрытых матэматычных задачах.

Чаму гэта важна для распрацоўшчыкаў

Фармальная верыфікацыя — гэта матэматычны доказ карэктнасці праграмы пры ўсіх магчымых уваходных дадзеных. Гэта крытычна для:

  • Фінтэх-пратаколаў — дзе памылка ў балансе каштуе мільёны
  • Крыптаграфічных бібліятэк — дзе buffer overflow = катастрофа
  • Смарт-кантрактаў — дзе фармальная карэктнасць незаменная

AlphaProof Nexus застаецца даследчай сістэмай, але вынікі дэманструюць, што AI ўжо здольны рабіць рэальны ўклад у адкрытую матэматыку.

Крыніцы: Google DeepMind, arXiv, AlphaProof Nexus на GitHub, Lean 4, Epoch AI

9. Кароткі агляд падзей

ДатаХтоПадзеяЗначэнне
1 верасняAnthropicРэліз Claude Fable 5.1Кошт кэша −75%, #1 WebDev Arena (Elo ~1762)
3–4 верасняOpenAIРэліз GPT-6 AstraПершая мадэль за «крытычным» парогам кібербяспекі, кантэкст 1M+
7 верасняOpenBMBMiniCPM5-2B (Apache 2.0)2.52B dense, 131K кантэкст, on-device AI
8 верасняKiteworksПаглынанне Bonfy.AIRuntime-класіфікацыя даных для AI-гавернансу
11 верасняAnthropicPlugin Evals (Claude Code v2.1.269)6 тыпаў грэйдэраў, Δ-метрыка, CI-гейты
14 верасняAkuityAgentic Control Plane + MCP ServerІдэнтычнасць, RBAC і аўдыт для AI-агентаў
15–17 верасняSalesforce7 Agentforce-агентаў (Dreamforce)Casey, Paige, Carter, Hunter, Marshall, Piper, Fin
~верасеньExLlamaV3v1.5.0 з EXL3/QTIPFused Viterbi, MoE offloading, новыя архітэктуры

💡 Што з гэтым рабіць распрацоўшчыку?

  1. Ацаніце GPT-6 Astra для сваіх задач: Мільённае кантэкстнае акно адкрывае новыя магчымасці для аналізу вялікіх кодавых баз цалкам. Але памятайце пра кошт: $10/$50 за мільён токенаў патрабуе ўважлівага кантролю бюджэту.
  2. Задумайцеся пра Spec-Driven Development: Пачніце апісваць паводзіны сэрвісаў праз строгія спецыфікацыі з інварыянтамі замест ручнога кадзіравання. Якасць згенераванага коду наўпрост залежыць ад строгасці вашых кантрактаў.
  3. Правядзіце тэрміновы аўдыт MCP-інструментаў: 49% MCP-сервераў патэнцыйна ўразлівыя. Праверце ўсе вонкавыя серверы, падключаныя да вашай IDE. Выкарыстоўвайце version pinning і hash verification. Не давярайце неправераным інструментам.
  4. Адмоўцеся ад бясконцых цыклаў полінгу: Выкарыстоўвайце рэактыўныя трыгеры і таймеры падзей замест sleep і status у агентных скрыптах. Не паліце бюджэт на апытанне статусу.
  5. Тэстуйце лакальныя мадэлі з ExLlamaV3: Новы фармат EXL3 значна палепшыў якасць і хуткасць лакальнага інферэнсу для вялікіх мадэляў. 70B-мадэль на хатняй відэакарце — гэта ўжо рэальнасць.
  6. Укараняйце аўтаматычную ацэнку якасці: Падыход Plugin Evals ад Anthropic — добрая мадэль для ўбудавання AI-аўдыту ў ваш CI/CD-канвеер. Не выпускайце AI-генераваны код без аўтаматычнай праверкі.

Наступны дайджэст — у канцы верасня 2026 года.

Admin, 2026-09-15
Каментары

    (Каб даслаць каментар залагуйцеся ў свой уліковы запіс)