Вот это бомба! Математика+ИИ+ блокчейн: стартап Math с помощью своего ИИ-агента Gauss формализовал ключевой компонент блокчейн системы

Стартап Math, созданный экс-сооснователем xAI, полностью формализовал доказательство безопасности протокола FRI — ключевого компонента STARK-систем доказательств с нулевым разглашением.

Работа выполнена на языке Lean 4 с помощью их автоформализационного агента Gauss.

FRI — это то, на чём держатся современные прозрачные ZK-системы. Без него не было бы ни StarkNet, ни множества других L2-решений.

Почему это важно?

Формальная верификация криптографических протоколов занимает месяцы ручной работы математиков. Gauss справился за дни. Это меняет экономику аудита — можно машинно гарантировать отсутствие ошибок в доказательствах безопасности, а не полагаться на peer review.

Для ZK-инфраструктуры это критично - одна ошибка в доказательстве и вся система скомпрометирована. Теперь есть инструмент, который делает такой аудит доступным.

Наступает «зима» на венчурном рынке, стартапам будет сложнее привлекать деньги.

В 2025 году венчурные фонды собрали очень мало новых денег: за первые три квартала ~ $45 млрд. Это на 75% меньше пика 2022 года и примерно как в 2017 году, то есть сбор денег откатился на 8 лет назад.

При этом фонды продолжают активно тратить уже собранные раньше деньги: за последние 4 квартала (Q4 2024 — Q3 2025) они вложили в стартапы около $330 млрд — почти столько же, сколько в сумасшедшем 2021 году ($380 млрд на пике).

Разрыв огромный - тратят намного больше, чем собирают нового капитала. Из-за этого запас неинвестированных денег в фондах стремительно тает.

Что будет дальше?

1. Многие венчурные фонды просто не смогут собрать следующие фонды, сотни фондов закроются или сильно сократятся.

2. Общий объём доступного венчурного капитала резко упадёт.

3. Для стартапов, особенно на ранних стадиях и вне топ-сегментов типа ИИ, привлечение раундов станет намного труднее и дороже (оценки упадут, условия инвесторов станут жёстче).

Лёгких денег больше не будет ещё долго. Следующие 3–5 лет — жёсткая борьба за выживание и очень избирательные инвестиции.

Исторический день: 5 крипто компаний получили лицензии банков

Американский регулятор OCC за один день выдал федеральные банковские лицензии сразу 5 крупнейшим крипто-компаниям:

1. BitGo
2. Circle (эмитент USDC)
3. Ripple
4. Paxos
5. Fidelity Digital Assets

Это 5 лидеров стейблкоинах и кастоди. Рынок стейблкоинов вырос до $313 млрд в 2025 году (+$100 млрд с начала года), благодаря закону GENIUS Act, который создал рамки для эмитентов.

Вот тут , а также тут и тут самые интересные и важные моменты по стейблкоинам.

Последствия для 5-ки и индустрии:

- Масштабирование на 50+ штатных лицензий.
- Расширение на стейблкоины, трейзери и фонды под федеральным зонтиком, что привлечёт консервативных клиентов .
- Ускорит IPO. Акции крипто-фирм могут вырасти.
- Интеграция с TradFi.
- Стейблкоины под федеральным надзором — шаг к массовому принятию.

CEO Palantir Алекс Карп начинает найм людей с нейродивергентными заболеваниями в рамках программы Neurodivergent Fellowship

Он считает, что такие люди с гиперфокусом, нелинейным мышлением, быстрой обработкой идей и тд. идеально подойдут для работы в эпоху ИИ.

У самого Карпа диагностирована тяжёлая форма дислексии, которая, по его словам, помогла ему развить контрарианский ум и видеть паттерны там, где другие видят хаос.

Карп сказал, что лично проведет финальный этап собеседования.

Ранее, Карп запустил программу Meritocracy Fellowship для школьников как альтернативу колледжу, называя университеты паразитическими системами, которые нужно сломать.

Neurodivergent Fellowship — продолжение стратегии Palantir нанимать не по диплому, а по таланту. В итоге, компания получает лояльных сотрудников, обученных под их нужды.

Итоги уходящей недели, то, что имеет значение в России и мире

Россия и ИИ

Российский институт AIRI блеснул на #NeurIPS 2025: победы в MindGames Arena и CURE-Bench.

Герман Греф прогнозирует, что Россия запретит иностранным ИИ-моделям вход в страну.

Правительство РФ сузило возможности ИИ-бизнеса попасть в реестр отечественного ПО.

Виктор Вексельберг скептичен к нынешнему ИИ, но инвестирует в проекты по созданию новых материалов.

Международные ИИ-модели, проекты, исследования

4-месячный стартап решил математическую олимпиаду Putnam.

Google открывает в 2026 году первую полностью автоматизированную лабораторию по созданию новых материалов.

Anthropic выпустила технологию, позволяющую вырезать опасные знания из нейросети, почти не повредив её способности.

Apple случайно слила статью про RLAX — масштабируемый RL-фреймворк на TPU.

Google и Harmonic помогли решить задачу Эрдёша №1026 с помощью ИИ.

Новая модель от Mistral стала лидером в агентном программировании.

Anthropic, OpenAI, Google и Microsoft договорились о едином стандарте разработки ИИ-агентов.

OpenAI выкатила GPT-5.2 с серьёзным прогрессом в аналитике, длинном контексте и коде. Но цены подняли на 40%.

Attention в трансформерах можно сделать на 99% разреженнее без потери качества — исследователи из MPI-IS, Oxford и ETH Zürich.

Google запустила ИИ-агента Gemini Deep Research для разработчиков.

OpenAI снизила прогноз по доходам от ИИ-агентов на $26 млрд за пять лет — мифы об экономике компании рушатся.

NVIDIA представила Alpamayo-R1 — VLA-модель с рассуждениями по «цепочке причинности».

Qwen представили SAPO — плавный и стабильный метод RL для обучения LLM.

Google: больше агентов ≠ лучше. Свежее исследование о пределах мультиагентности.

VisPlay — фреймворк, где одна модель раздваивается на «Вопрошающего» и «Рассуждающего» и сама генерирует себе обучающие данные.

Meta* выпустила Ax 1.0 — open-source платформу для адаптивных экспериментов в масштабе.

Essential AI представили первые открытые модели Rnj-1 на 8B параметров.

Anthropic делает ставку на модульные навыки вместо армии специализированных агентов.

Google выпустили 1-й комплексный тест фактологической точности LLM по четырём измерениям.

Anthropic обновила Claude Agent SDK: поддержка контекста в 1М токенов, песочница и новый TypeScript-интерфейс.

Дэмис Хассабис обещает надёжных ИИ-агентов уже в 2026 году.

ИИ и космос

Первая ИИ-модель, обученная в космосе — и это модель Google.

Маск раскрыл свой план космического ИИ: сначала солнечные дата-центры на орбите, потом лунные фабрики спутников.

По расчётам Google, для создания мощности гигаваттного ЦОДа в космосе потребуется 10 000 спутников.

Криптовалюты и финансы

BlackRock — крупнейшая инвесткомпания мира — займётся стейкингом Ethereum.

5 криптокомпаний получили банковские лицензии.

Стартап Math с помощью ИИ-агента Gauss формализовал ключевой компонент блокчейн-системы.

Продукты и бизнес

В веб-версии ChatGPT теперь можно делать покупки прямо в чате.

Команда Tesla и сам Маск заселились на заводе Samsung, компания будет напрямую контролировать производство своих чипов.

Palantir запускает программу найма людей с нейродивергентными заболеваниями

Прогнозы и тренды

a16z опубликовал главные прогнозы на ИИ-рынок 2026 года.

Наступает «зима» на венчурном рынке — стартапам станет сложнее привлекать деньги.

OpenAI опубликовала первый отчёт State of Enterprise AI.

*запрещенная компания в РФ.

Основной бизнес основателя #DeepSeek принёс +52.55% в 2025 году, а сам DeepSeek - всего лишь побочный проект

Лян Вэньфэн, основатель DeepSeek, заработал миллиарды юаней на квантовом хедж-фонде High-Flyer Quant. Фонд управляет активами на ~23.8 млрд юаней и показал среднюю доходность +52.55%. Фонд использует ИИ и глубокое обучение для инвестиций, что помогает ему лидировать в отрасли.

По данным на конец ноября 2025:
- Средняя доходность продуктов фонда: +52.55% с начала года
- Более половины продуктов — свыше +50%
- 2-е место среди крупных китайских quant-фондов
- В 2–2.75 раза обогнал ключевые индексы (CSI 500 и CSI 1000)

А DeepSeek — это всего лишь проект, финансируемый с прибыли от трейдинга.

Тут мы писали об истории появления DeepSeek.

CUDA-L2: теперь ИИ пишет код быстрее, чем оптимизации от инженеров NVIDIA

Команда DeepReinforce создала систему CUDA-L2, которая использует большую языковую модель + обучение с подкреплением, чтобы автоматически писать CUDA-ядра для умножения матриц на GPU. GitHub.

В результате автоматически сгенерированные ядра работают быстрее, чем ручные оптимизации NVIDIA:

- До +26% быстрее cuBLAS в реальном режиме inference
- До +16% быстрее cuBLASLt с полным автотюнингом, который перебирает до 100 вариантов вручную.

Это касается самой критичной операции в больших языковых моделях — matmul, на которую уходит львиная доля вычислений.

Что это значит?

Для инженеров - даже самые отточенные десятилетиями библиотеки NVIDIA больше не потолок. ИИ нашёл оптимизации, которые человек просто не смог бы перебрать вручную.

Для бизнеса - дешевле и быстрее запускать LLM-инференс на тех же GPU. Меньше затрат на железо и электричество при той же производительности или больше запросов в секунду на существующих серверах.

DARPA запустила самую амбициозную био-инженерную программу десятилетия «Генеративная оптогенетика»

Это высокорискованный, но потенциально революционный проект, который может изменить подход к редактированию и синтезу генетического материала.

DARPA хочет создать молекулярные "машины" в клетках, которые будут считывать оптические сигналы и на их основе синтезировать точные последовательности нуклеиновых кислот. Свет становится универсальным языком между кремнием и углеродом.

Если это сработает, то:
- Эксперименты в молекулярной биологии ускорятся в разы с недель до часов.

- Быстрое создание персонализированных терапий, модификация растений, новые биоматериалы.

- Полная революция в медицине, сельском хозяйстве и производстве.

Текущие проблемы: синтез ДНК занимает дни, плюс рост и верификация. А здесь — световой "принтер" внутри клетки.

Технические барьеры такие:
- Нужно инженерить ферменты, которые добавляют конкретный нуклеотид в зависимости от цвета света.
- Обеспечить позиционирование в геноме и синхронизацию тысяч копий.
- Работать в живых клетках, где всё динамично и токсично.

В Москве прошла пресс-конференция одной из важнейших в научном мире премий — «Вызов», на которой объявили лауреатов, чьи разработки могут быть внедрены на практике уже через 5–10 лет.

Как отметил вице-премьер Дмитрий Чернышенко, поддержкой науки и технологий сегодня занимаются не только государство, но и бизнес. Премия «Вызов» — яркий пример такой синергии: ее партнером и соучредителем является Газпромбанк.

Зампред правления банка Дмитрий Зауэрс в своем выступлении подчеркнул: благодаря премии на первый план выходят именно ученые — создатели инноваций. А Газпромбанк видит свою задачу в их поддержке и содействии трансформации научных разработок в реальные проекты.

По его мнению, успешный трансфер технологий станет основой для обеспечения технологического лидерства России в ближайшие 10–20 лет.

Google выложили в открытый доступ работу, где ИИ создал RL-алгоритм, превзошедший разработанные людьми

Это работа команды Дэвида Сильвера (создателя AlphaGo), в которой они разработали подход, где мета-сеть учится генерировать правила обновления для RL-агентов.

Тут мы об этом писали еще в октябре.

Вот GitHub.

Также можно ознакомиться с другой работой по метаградиентному RL и его онлайн-версией с мета-обученной функцией

Космический стартап Vast от криптомиллиардера собирает $300млн при оценке в $2 млрд

Основатель Ripple и Stellar, Джед Маккейлеб, уже вложил сотни миллионов и готов до $1 млрд в свой космический стартап Vast.

Компания ведёт переговоры о привлечении $300млн при оценке в $2 млрд.

Среди инвесторов есть In-Q-Tel (венчурный фонд ЦРУ).

Vast — один из лидеров в создании коммерческих орбитальных станций после вывода МКС из эксплуатации в 2030–2031 годах.

Их флагман:

- Haven-1: Первая в мире коммерческая станция с экипажем. Запуск на Falcon 9 — не раньше мая 2026 года. Экипаж из 4 человек на Crew Dragon. Большой иллюминатор, Starlink, лаборатория для экспериментов в микрогравитации.

В этом году завершены ключевые тесты структуры, запущен демонстратор Haven Demo.

Дальше — Haven-2: Много-модульная станция с 2028 года, претендент на контракт NASA как преемник МКС.

Основные конкуренты:
- Axiom Space (модули, прикрепляемые к МКС, потом отдельная станция)
- Starlab (Voyager Space + Airbus)
- Orbital Reef (Blue Origin + партнёры)
- Другие, включая Northrop Grumman и Nanoracks

Греф предлагает ЦБ разрешить рублевый стейблкоин, а Сергей Попов из Сбера сказал, что они хотят токенизировать доли в компаниях, а именно в ООО

Герман Греф на конференции Сбера «FI Day: ИИ и блокчейн» призвал выходить из экспериментального режима и разрешить базовые транзакции со стейблкоинами для расчетов внутри страны. Тут на видео 32 мин.

Он отметил, что Сбер работает с ЦБ над этим, и регулятор занимает уже более активную позицию. Запуск российского стейблкоина возможен только при выполнении ключевых условий:

- Чёткий правовой статус
- Обеспечение ликвидными активами
- Эмитент под надзором ЦБ
- Выпуск на публичном блокчейне.

На этой же конференции директор дивизиона «Транзакционный бизнес» Сбера Сергей Попов сказал(на видео тайминг 5ч 16 мин), что они обсуждают токенизацию долей в ООО.

Об этом ещё говорил Минфин в мае.

Зачем нужна токенизация долей в ООО? Это даёт:

- Ликвидность непубличным компаниям — доли в ООО становятся легко продаваемыми, как акции на бирже.
- Дробную собственность — один токен может соответствовать 0,01% доли, что открывает инвестиции для мелких инвесторов.
- Привлечение капитала — бизнесы проще находят инвесторов без IPO.
- Автоматизацию — смарт-контракты распределяют дивиденды, проводят голосование и обеспечивают прозрачность.

Google DeepMind сделали из видеомодели Veo симулятор для роботов.

Модели мира вышли на передний край, как и говорили Лекун и Хассабис.

Google DeepMind выпустила свежую работу Evaluating Gemini Robotics Policies in a Veo World Simulator, в которой описывается впервые использование видеомодели Veo для оценки политик роботов.

Veo генерирует реалистичные симуляции от обычных задач до новых объектов, фонов, отвлекающих элементов и red teaming для безопасности.

Всё с мультивидами, кондиционированием на действия робота и редактированием сцен без лишних тестов на реальном железе.

Валидация на 1600+ реальных испытаниях с бимануальным ALOHA 2 показала сильную корреляцию: симуляция точно предсказывает успех и ранжирует политики.

Это идеально вписывается в стратегию DeepMind по world models, о которой говорил Дэмис Хассабис: симуляции — ключ к пониманию Вселенной и обучению агентов.

А еще летом вышел Genie 3 — интерактивные 3D-миры в реальном времени из текста, строящийся на Veo для физики. Genie 3 уже тестируют с агентом SIMA: ИИ учится в генерируемых мирах, решая проблему дорогих данных для роботов и автопилотов.

Veo-симулятор — прикладной инструмент сегодня, Genie 3 — фундамент для завтрашних бесконечных тренировок. Кто контролирует лучшие симуляторы — тот лидирует в embodied AI.

Новый AppStore для ИИ? OpenAI открыла монетизацию приложений, созданных с ChatGPT.

В октябре OpenAI ввёл Apps SDK, который позволяет разработчикам создавать полноценные приложения прямо внутри чата ChatGPT. Это как App Store для ИИ.

Сейчас пользователи взаимодействуют с приложением в ChatGPT, а когда хотят купить что-то (товар, подписку, услугу), его перенаправляют на сайт разработчика для оплаты. Всё обработка платежей, подписок, налогов — на стороне разработчика. OpenAI здесь не берёт комиссию и не участвует в деньгах.

Более продвинутый вариант — оплата прямо внутри ChatGPT через Agentic Commerce Protocol. Показывается корзина, методы оплаты, но завершение транзакции на сервере разработчика. Пока доступно только для избранных партнёров (маркетплейсы с физическими товарами), в приватной бете. OpenAI планирует расширять, но деталей о комиссии нет.

OpenAI подчёркивает, что разработчик полностью отвечает за модель монетизации, цены и выполнение заказов. Нет встроенного revenue sharing от OpenAI (в отличие от старого GPT Store, где обещали платить по usage, но это так и не запустили полноценно).

Ани Асланян о главных трендах ИИ+блокчейна в 2025-2026гг.

На конференции Сбера «FI Day: ИИ и блокчейн» основатель @blockchainrf рассказала, что обе технологии являются ключевыми сегодня и могут друг друга дополнить.

Так, по мнению Ани, сегодня есть несколько горячих трендов:

1. платежи для ИИ-агентов, для которых создают протоколы, в будущем агенты самостоятельно смогут совершать транзакции, платить за услуги друг другу, API, контент, товары — часто с использованием блокчейна и стейблкоинов.

Она привела в пример 3 протокола для агентских платежей - Agent Payments Protocol от Google, x402 от Coinbase, Stripe с OpenAI запустили свой Agentic Commerce Protocol.
Ранее Google представили свою концепцию экономики ИИ-агентов.

2. интеграция блокчейна в системы цифровой идентификации личности. Рынок растет большими темпами, с прогнозами от 50% до 90% CAGR до 2030–2035 годов, и активно внедряется как в государственных(Малайзии, Японии, Бутан) так и в коммерческих проектах, например, JP Morgan.

3. использование ИИ в безопасности блокчейна как для атаки (нахождение и эксплуатация уязвимостей в смарт-контрактах), так и для обороны (аудит и защита).

В пример она привела недавнюю работу Anthropic с бенчмарком SCONE-bench

Карта рынка по ИИ, ML и данных

2025 — год, когда пузырь раздувается, но фундамент строится. Если всё сойдётся (дистрибуция, маржа, регулирование, энергия), ИИ станет новой инфраструктурой.

Главные тренды и прогнозы:

- Reasoning + RL — новый фронтир (DeepSeek R1, o-series от OpenAI).

- Китай строит параллельный стек (Huawei, DeepSeek, Qwen3).

- Энергия — основная задача для решения.

- Консолидация: крупные сделки (Meta* ~$14B в Scale AI, ServiceNow-Moveworks $2.85B).

- Vibe coding в хите: агенты типа Cursor, Claude Code меняют разработку.

- Мультимодальность взлетает (видео: Veo3/Sora, голос: ElevenLabs).

- Open source выживает (Llama 4, Mistral, Qwen3) — гибридные стеки.

- Энтерпрайз: фокус на governance, incumbents (Salesforce, ServiceNow) доминируют в агентах.

- Дистрибуция побеждает изобретение, маржа обеспечивается через ценообразование на основе достигнутых результатов.

*запрещенная организация в России.

Бутан вкладывает 10К биткоинов в свою инфраструктуру

Страна входит в топ стран, которые владеют биткоином. Бутан начал майнить биткоин ещё в 2019 году, используя избыточную гидроэнергию. Другие их проекты с блокчейном тут.

Король Бутана Джигме Кхесар Намгьял Вангчук объявил о выделении 10 000 биткоинов (~ $1 млрд) из госрезервов для поддержки развития проекта Gelephu Mindfulness City — нового экономического хаба на юге страны, основанного на принципах осознанности.

Проект запущен в 2024 году и задуман как город осознанности, вдохновлённый буддийским наследием Бутана и философией Валового национального счастья. Город должен стать экономическим коридором между Южной и Юго-Восточной Азией, с фокусом на:
- устойчивость,
- инновации,
- высокотехнологичные рабочие места,
- борьбу с оттоком молодёжи из страны.

Бутан не планирует продавать эти 10К биткоинов. Вместо этого рассматриваются стратегии:
- использование в качестве залога,
- генерация доходности с низким риском,
- долгосрочное хранение для сохранения и роста капитала.

Это часть национальной программы Bitcoin Development Pledge, которая интегрирует биткоин-резервы и майнинг в долгосрочное экономическое планирование.

Все бутанцы будут считаться акционерами проекта: новая земельная политика позволит гражданам из всех регионов страны получать выгоду от успеха проекта.

Это одно из крупнейших в истории суверенных вложений цифровых активов в инфраструктуру.

Самый полный обзор о памяти в ИИ-агентах на данный момент

Авторы предлагают единую классификацию существующих подходов к памяти с трёх сторон:

1. Формы памяти
2. Функции памяти
3. Динамика памяти

Обзор подчёркивает, что традиционные классификации, например, кратковременная/долговременная память из психологии уже не подходят для современных сложных систем ИИ-агентов.

Авторы дают критический фундамент для проектирования будущих ИИ-агентов, обсуждают бенчмарки, фреймворки и перспективные направления - мультимодальная память, многоагентные системы, надёжность и тд.

В венчурный фонд на базе ИИ, созданный Ником Сторонским, вложились Тиль, Мильнер, братья Бухманы

Основатель Revolut Николай Сторонский создал в 2022 году венчурный фонд, где решения принимает ИИ. В этот фонд вложили деньги Питер Тиль, Юрий Мильнер и братья Бухманы.

Об этом Сторонский рассказал в интервью Е. Осетинской, признана иноагентом в РФ.

Google объявила ценовую войну OpenAI, Anthropic, выпустив дешевую модель в 3.5 раза на входе и почти в 5 раз на выходе.

Google представила Gemini 3 Flash — модель с Pro-качеством на Flash-скорости.

Цена API: $0.50/$3.00 за миллион токенов (вход/выход). Плюс Flash работает на собственных TPU, что даёт им преимущество по костам, которого нет у OpenAI и Anthropic.

Для сравнения: — GPT-5.2: $1.75/$14.00 — Claude Opus 4.5: $5.00/$25.00 — Llama 4 Scout: $0.15/$0.50 — DeepSeek V3.2: $0.28/$0.42

Google бьёт по OpenAI и Anthropic (в 3-5 раз дешевле), но open source остаётся ещё доступнее. DeepSeek с кешированием вообще даёт $0.028 на входе — в 18 раз дешевле Flash.

Ставка на экосистему и отсутствие геополитических рисков. Flash уже дефолтная модель в Gemini App и AI Mode в поиске — бесплатно, глобально.

В Кремниевой Долине происходит сдвиг ценностей и настроений в отношении того, на что стоит тратить жизнь и, что вообще считается ценным и достойным.

Такое мнение сложилось у Патрика Коллисона, со-основателя Stripe, исходя из общения с инвесторами и основателями компаний.

Похоже, настал момент для новых рамок, которые пока не придуманы, смогут ли они понять, что сейчас - то самое время для индивидуации личности? Кстати, вспомните, что происходило недавно на судебном заседании, когда Илья Суцкевер говорил о причинах увольнения Сэма Альтмана.

В разговорах уже понятно, от чего Долина готова отказаться:

1. Давос себя исчерпал и дискредитировал. Тот набор идей, который продвигают глобальные элиты на Всемирном экономическом форуме в Давосе: ESG, сильный акцент на DEI и тд. В это больше не готовы вписываться ребята.

Интересно, что недавно, на одном подкасте выступала бывшая жена Сергея Брина и критиковала Давос за это все.

2. Effective altruism больше не является автоматическим выбором для умных и амбициозных молодых людей. После краха FTX, странных историй с полиаморией в сообществе и общей переоценки ценностей EA потерял статус «правильного пути».

3. Зарабатывать на зависимостях и генерировать шлак стало стыдно и неинтересно, как пример: приложения казино и тонны мусорного ИИ-контента.

4. Просто быть супер бейсед и анти воук тоже не хотят, а ведь это была формой коллективной реакции.

Возможно, Долина имеет шанс дойти до того, что настало время индивидуации личности. Обычно такие периоды культурного вакуума и разочарования в больших нарративах исторически часто предшествовали волнам интереса к глубинной психологии, духовным поискам и именно юнговским идеям.

Мы уже видим рост интереса к психоделикам, медитации, психотерапии, мифологии — всё это элементы того же процесса.

Возможно, следующий большой рубеж в Долине будет не про новую технологию или идеологию, а про новую антропологию — про то, как стать цельным человеком в мире, где старые коллективные смыслы умерли.