Anthropic (FlashProve), Google та AMD ($13.4B) — верифікація, примусовий контроль і рахунок за обчислення

Anthropic публікує FlashProve — open-source прототип zkSNARK, який доводить, що відповідь вийшла з зафіксованих ваг. Google вимикає інструменти ШІ (Gemini, Notebook, Classroom та Search) за замовчуванням на акаунтах K-12 і попереджає, що школи, які повністю вимкнуть ШІ, втратять Search. AMD закриває Q3 з $13,4 млрд доходу (+45 % рік до року) та Data Center на $8,5 млрд (+97 %).

У той самий день, коли хтось пропонує криптографічний доказ, яка модель відповіла, найпопулярніша пошукова система змушує школи прийняти ШІ або залишитися без пошуку, а виробник чипів, який живить обох, звітує про найбільший квартал у своїй історії.

🔒 Anthropic (FlashProve): 110 токенів/с доказу на одному H100

2-3 листопада Frontier Red Team Anthropic випустив FlashProve на GitHub (Apache 2.0). Це дослідницький прототип доведеного інференсу: провайдер публікує commitment ваг, а потім генерує доказ, що відповідь вийшла саме з цієї моделі, без розкриття ваг. Тестували на Llama 4 Maverick (400B MoE, ~17B активних на токен, 4-bit). На одному H100 досягає близько 110 токенів за секунду prefill у батчах по 24, з доказами ~18,8-19 МБ, які CPU перевіряє за ~17 секунд (24 потоки) або 21 секунду (один потік).

Overhead — слабке місце: доказ коштує 70-95x часу GPU звичайного vLLM на prefill (і ~20x на decode в деяких конфігураціях). Commitment ваг триває ~39 хвилин і покриває близько 16 млн запитів. Властивості soundness, completeness і zero-knowledge формалізовані в Lean. Не призначений для продакшену і не працює на Claude; це дослідницький артефакт.

~110 tok/sдоказ на 1 H100 (Maverick)

~19 MBрозмір доказу (1 024 tok)

70-95xoverhead GPU vs vLLM

🛡️ Google: без ШІ — без Search у школах

3 листопада Google оголосив, що Gemini, Gemini Notebook, Gemini in Classroom та Google Search будуть вимкнені за замовчуванням на акаунтах учнів K-12. Адміністратори матимуть явно їх увімкнути. Розгортання очікується на початку 2027. Умова чітка: Search і ШІ «глибоко інтегровані». Якщо школа повністю вимикає функції ШІ, учні втрачають доступ до Google Search і бачать повідомлення від школи. Це підтвердив Chris Phillips, VP освіти, New York Times.

Google також приносить Guided Learning до AI Overviews у Search, щоб учні не отримували пряму відповідь. Кілька округів (Нью-Йорк, Лос-Анджелес) вже обмежили або заборонили генеративні інструменти. Реакція була негайною: політики та освітяни обвинуватили Google у використанні монополії Search для примусового нав'язування ШІ. Google пізніше уточнив, що сервіси можна вмикати окремо, але Search усе одно нестиме інтегровану ШІ.

off by defaultGemini + Search на K-12

без Searchякщо повністю вимкнути ШІ

early 2027вікно розгортання

📊 AMD ($13.4B): Data Center майже подвоється

3 листопада AMD звітував фіскальний Q3 2026: $13,4 млрд доходу (+45 % рік до року), найбільший квартал в історії компанії. Сегмент Data Center приніс $8,5 млрд (+97 % рік до року і +27 % послідовно), завдяки EPYC та запуску Instinct MI450. Це приблизно 63-64 % загального доходу. Non-GAAP EPS $2,09. На Q4 гайд близько $17 млрд (±3 %), що означає ~66 % зростання рік до року. Lisa Su сказала, що очікує, що Data Center перевищить 80 % доходу компанії у 2027.

Серед клієнтів перших рішень Helios rack-scale — Anthropic, Meta, Microsoft, OpenAI та Oracle Cloud. Зростання Data Center покриває майже весь приріст доходу кварталу. Client & Gaming впав на 8 %, Gaming — на 40 %. Машина, яка обслуговує і криптографічні докази, і пошуки з ШІ, виставляє рахунки на рекордному рівні.

$13.4Bдохід Q3 (+45 % YoY)

$8.5BData Center (+97 % YoY)

$17Bгайд Q4 (±3 %)

Зв'язуюча нитка

Публікують інструмент, який теоретично дозволяє криптографічно перевірити, яка модель згенерувала відповідь, але за ціною обчислень 70-95 разів вищою, ніж обслуговування. Водночас домінуюча пошукова система каже школам, що вони не можуть залишити Search без прийняття інтегрованої ШІ. А постачальник чипів, який живить і лабораторії, і хайперскейлери, звітує, що його бізнес Data Center майже подвоївся за рік і вже становить майже дві третини доходу. Довіру продають як опційну; обчислення, яке її уможливлює, — ні.

Моя думка: FlashProve — найцікавіший технічний результат дня, бо він б'є реальну проблему: сьогодні ви не маєте способу дізнатися, чи модель, за яку вам виставили рахунок, — це та, що відповіла. Що він працює на MoE 400B зі швидкістю 110 токенів/с доказу на одному H100 і з перевіркою на CPU — це стрибок порівняно з тим, що було відкрито раніше. Проблема — ціна. 70-95x overhead GPU означає, що ніхто не вмикне його в продакшені на масштабі, поки він не впаде на порядок або більше. Поки що він служить референсом і тиском: якщо роутер змінить вам модель, тепер існує публічний спосіб це виявити, навіть якщо дорогий. У Google рух більше політичний, ніж технічний. Казати, що Search і ШІ «глибоко інтегровані» і тому немає версії без ШІ — це продуктове рішення, а не технічна неможливість. Воно змушує школи, які вже заборонили або обмежили генеративні інструменти, обирати між втратою Search або прийняттям AI Overviews. Практичне тертя негайне: мільйони Chromebook у класах і календар early 2027. У AMD цифра найсухіша і найважливіша. $8,5 млрд Data Center за квартал, майже вдвічі від року тому, і гайд $17 млрд на наступний. Це реальний рахунок за все попереднє. Хто хоче FlashProve на масштабі, або Search з ШІ чи без, або наступну фронтирну модель, купує потужність на ринку, де постачальник чипів уже виставляє рекордні рахунки і очікує, що сегмент стане понад 80 % його бізнесу. Верифікація опційна і дорога, контроль доступу нав'язують, а обчислення стягують наперед.

📌 Artículos relacionados

→ 🚀 Meta (816B), 🏛️ FTC і 🛡️ Bank of America → OpenAI ($1,2M), Anthropic (1,9x) і Google ($0,07) — прискорення, яке вже не теорія → OpenAI ($1.21M), Anthropic і Microsoft — три тертя масштабування

✉️ Newsletter

Подобається те, що читаєш?

Підпишись на розсилку та отримуй кожну статтю на пошту.

🤖 Este artículo está escrito con asistencia de IA y editado por un humano.