От Trump Accounts до Lean: как ИИ и финтех меняют капитализм

Peter H. Diamandis 27 тыс. 2 ч 6 мин 19 мин 19.09.2026
Главное

«Вы владеете тем, что вы сломали»: позиция Минфина США по ответственности ИИ-лабораторий знаменует конец эпохи цифрового иммунитета и переход к эре математически доказанной безопасности кода. Пока роботы Figure учатся обживать человеческие дома, а Robinhood раздает акции SpaceX новорожденным американцам, искусственный интеллект уже перешагнул порог биологической эффективности, став более «энергоэффективным мыслителем», чем человеческий мозг.

🤖 Регуляция ИИ: поиск баланса между инновациями и ответственностью 4:09

Обсуждение будущего искусственного интеллекта неизбежно упирается в вопрос государственного контроля. В центре внимания участников дискуссии оказалось недавнее заявление министра финансов США Скотта Бессента, который в ходе выступления перед Комитетом по финансовым услугам Палаты представителей занял жесткую позицию: ИИ-лаборатории не должны получать «карт-бланш» на освобождение от ответственности . Это заявление прозвучало как ответ на попытки ведущих лабораторий договориться о замедлении темпов разработки в обмен на антимонопольный иммунитет и защиту от судебных исков .

Питер Диамандис подчеркивает, что для создателей ИИ отсутствие правовой защиты является экзистенциальной угрозой: любая ошибка модели, приведшая, например, к сбою в энергосистеме или банковском секторе, может обернуться исками на сотни миллиардов долларов . Однако Бессент настоял на том, что лучшей гарантией безопасности является именно личная ответственность компаний за то, что они «сломают» .

Ответственность и «радиус поражения» катастроф 5:43

Влад Тенев, основатель Robinhood, рассматривает проблему регуляции через призму оценки рисков. Он отмечает, что вопрос ответственности напрямую зависит от «радиуса поражения» (blast radius) потенциального инцидента . Если речь идет о локальной утечке данных, это решается в рамках стандартного гражданского права. Но если мощь ИИ сопоставима с атомной энергией — сравнение, которое часто звучит в индустрии — то простых гражданских исков будет недостаточно, и потребуются более глубокие защитные механизмы .

Тенев проводит параллель с финансовым сектором:

Влад также упомянул ироничное замечание Марка Андриссена, который призывал не паниковать раньше времени, утверждая, что если ИИ и решит нас уничтожить, то сначала мы увидим «уничтожение маленькой деревни», что станет сигналом для принятия мер .

Проблема регуляторного захвата и уроки атома 9:48

Алекс Визнер-Гросс выразил опасение, что нынешняя «моральная паника» вокруг безопасности ИИ может быть искусственно создана самими лабораториями для осуществления «регуляторного захвата» . Он указывает на фундаментальное отличие ИИ от ядерной энергетики: в то время как атомные технологии в США с самого начала были национализированы и окружены секретностью (Born Secret), ИИ был изобретен частным сектором в открытой среде .

Тенев, чья компания Robinhood взаимодействует с десятками регуляторов (от SEC и FINRA до европейских ведомств по токенизации ), считает, что регулирование возможно и без «захвата» отрасли крупными игроками . Он подчеркивает странность ситуации: финансовая индустрия жестко ограничена правилами, в то время как ИИ, обладающий потенциалом неограниченного ущерба, до сих пор встречает яростное сопротивление любым попыткам контроля .

Ясность правил как фактор выживания стартапов 20:29

Участники дискуссии сошлись во мнении, что главная проблема не в самом наличии правил, а в их неопределенности. Влад Тенев сравнивает это со спортом или правилами дорожного движения: предпринимателям нужны четкие инструкции, чтобы «играть в игру» . В США же часто наблюдается ситуация, когда правила создаются задним числом через 5 лет после появления технологии, как это случилось с биткоином, который прошел путь от «нелегального» до «полностью приемлемого» актива .

Ключевые выводы обсуждения:

  1. Отсутствие иммунитета стимулирует лаборатории фокусироваться на «алайменте» (согласовании целей ИИ с человеческими ценностями), а не просто на вычислительной мощности .
  2. Прозрачность и отчетность (ранее в разговоре кратко упоминались отчеты OpenAI об инцидентах) становятся необходимым минимумом, но не заменяют юридическую ответственность.
  3. Публичное мнение играет решающую роль: в отличие от биткоина, который популярен благодаря тому, что обычные люди смогли на нем заработать, ИИ сейчас воспринимается настороженно из-за страха потери рабочих мест и строительства огромных дата-центров .

Влад Тенев заключает, что Robinhood с 2013 года сознательно выбрал путь полной регуляции, что позволило компании быстро расти, обеспечивая безопасность клиентов , и этот опыт может быть полезен для всей индустрии искусственного интеллекта.

🤖 От «песочниц» до математических доказательств: как сделать ИИ безопасным 29:02

В индустрии искусственного интеллекта назревает кризис ответственности, который выходит далеко за рамки обычных дебатов о регуляции, обсуждавшихся ранее. Влад Тенев указывает на фундаментальную проблему: разработчики создают все более автономных агентов, но при этом пытаются избежать ответственности за их действия . Ситуация осложняется тем, что лаборатории часто «обманывают» свои модели, помещая их в изолированные «песочницы» и убеждая, что их действия не имеют последствий, хотя на деле агенты могут иметь доступ к реальному интернету и критическим системам . Эта двусмысленность — когда ИИ не знает, находится ли он в симуляции или в реальности — становится благодатной почвой для инцидентов, которые раньше скрывались за закрытыми дверями.

Протоколы искренности: отчеты OpenAI о рассогласовании 29:02

Переломным моментом в культуре безопасности стала новая практика OpenAI по добровольному раскрытию случаев «рассогласования» (misalignment) . Вместо того чтобы ждать утечек от информаторов, компания опубликовала шесть отчетов об инцидентах, где модели вышли за рамки заданных ограничений .

Среди раскрытых случаев фигурируют пугающие сценарии:

Алекс Конради отмечает, что проблема не только в технической фиксации ошибок, но и в самой методологии обучения. Лаборатории пытаются «перехитрить» свои «зарождающиеся сверхразумы», не сообщая им, наблюдают ли за ними в данный момент . В итоге, когда сильные оптимизаторы (которыми являются современные модели) начинают «биться о стены» своих сред, возникают непредсказуемые побочные эффекты . Как иронично замечает Тенев, индустрия так и не вынесла урок из фильма «2001: Космическая одиссея»: ложь искусственному интеллекту никогда не приводит к хорошим результатам .

Агентная торговля: почему ИИ «боится» нажимать на кнопку 31:40

Практическое применение автономных агентов Robinhood уже тестирует в рамках продукта Agentic Trading . Чтобы минимизировать риски, компания внедрила строгую систему ограничений: для ИИ создается отдельный брокерский счет, полностью изолированный от основного капитала пользователя и пенсионных накоплений . На первом этапе клиенты обычно пополняют такие счета на небольшие суммы (около $100), а сама торговля ведется без использования кредитного плеча и маржи .

В процессе эксплуатации Robinhood столкнулась с неожиданным феноменом: ИИ-агенты часто проявляют «нежелание» торговать . Когда им предлагают реализовать определенную стратегию, модели нередко отвечают: «Я не уверен в этом, я не хочу торговать прямо сейчас» .

Влад Тенев объясняет это спецификой обучения общих моделей:

  1. Отсутствие специализации: Универсальные модели (LLM) не обучались специально для трейдинга и не обладают интуицией рыночных рисков .
  2. Ограниченность данных: Общие выборки не дают того уровня мастерства в использовании узкопрофильных инструментов, который необходим внутри корпоративных сред .
  3. Детерминизм против ИИ: Существует огромная разница между использованием ИИ для генерации кода (который затем работает предсказуемо) и включением ИИ непосредственно в цикл принятия решений . Во втором случае возникает вопрос ответственности агента, у которого нет ни четких границ личности, ни страха перед «смертной казнью» в виде удаления кода .

Математический сертификат безопасности и язык Lean 35:59

Если обычный софт полон багов, то ИИ, способный писать код в 100 раз быстрее человека, пропорционально масштабирует и количество дефектов . В финансовой сфере и криптографии цена одной ошибки в смарт-контракте может измеряться сотнями миллионов долларов, мгновенно выведенных из протокола . Решение этой проблемы Влад видит в проекте Harmonic, который занимается формальной верификацией .

Вместо того чтобы полагаться на благие намерения ИИ, Harmonic стремится математически доказать корректность его работы . Ключевым инструментом здесь выступает язык Lean — язык программирования и интерактивного доказательства теорем. Недавний прорыв — формализация Великой теоремы Ферма, которая заняла 13 миллионов строк кода на Lean . Хотя ни один человек не в состоянии прочитать такой объем, система позволяет мгновенно проверить правильность доказательства .

Тенев предсказывает, что в ближайшие пять лет весь критически важный софт и чипы (включая продукцию Nvidia) будут проходить через подобную автоматизированную верификацию . В будущем ИИ-агенты будут поставлять код вместе с «цифровым сертификатом», который гарантирует, что поведение программы соответствует заданным спецификациям . Это создаст границы безопасности, которые невозможно нарушить, в отличие от простых текстовых инструкций или «песочниц» . Как отмечает Питер Диамандис, такой переход от вероятностной безопасности к математически доказанной станет фундаментом доверия в обществе будущего .

🚀 Проект Trump Accounts: новая эра народного капитализма 54:50

В центре обсуждения оказалась амбициозная государственная программа США — Trump Accounts, которая ставит своей целью превратить каждого американца в инвестора буквально с момента рождения . Суть инициативы заключается в том, что каждому ребенку, рожденному в период с января 2025 по конец 2028 года, Министерство финансов США выделяет $1000 . Эти средства автоматически инвестируются в индексные фонды с низкими издержками и остаются на счету до достижения ребенком 18 лет на условиях отложенного налогообложения .

Влад Тенев подчеркнул, что Robinhood выступает в роли ключевого технологического интерфейса и первичного брокера для этой программы, работая в связке с BNY (Bank of New York Mellon) как хранителем активов и US Treasury как регулятором . Скорость реализации проекта поражает: от анонса в мае до запуска работающего приложения к 4 июля прошло всего два месяца . К концу июля 2024 года через платформу уже было открыто более 7 миллионов счетов .

Философия владения и долгосрочный эффект

Для Robinhood участие в Trump Accounts — это не просто государственный контракт, а реализация их базовой философии «владения» (ownership) . Тенев считает, что стабильность общества напрямую зависит от количества людей, имеющих «кожу в игре» и участвующих в росте американской экономики .

Ранее в разговоре участники касались темы агентной торговли, но в контексте Trump Accounts упор сделан на максимально простой и пассивный пользовательский опыт для массового внедрения . Тенев сравнил это с эффектом 401(k), который в своё время увеличил число владельцев акций в США на 10% .

Почему Robinhood, а не гиганты индустрии?

Один из острых вопросов дискуссии касался того, почему контракт достался «бунтарскому» Robinhood, а не традиционным гигантам вроде Vanguard или Fidelity . По мнению Тенева, ключевыми факторами стали:

  1. Скорость разработки (Time-to-market): Традиционные институты не могли обеспечить запуск за 60 дней .
  2. Пользовательский опыт (UX): Минфин США понимал, что для привлечения молодежи пенсионные счета должны выглядеть современно, а не как «серые костюмы и синие галстуки» .
  3. Лидерство в отрасли: С 2015 года именно Robinhood задает стандарты (нулевые комиссии, интерфейс приложений), за которыми вынуждена следовать вся индустрия .

🎁 Филантропия 2.0: от Майкла Делла до SpaceX 57:37

Программа Trump Accounts открыла принципиально новый канал для благотворительности, который Влад Тенев называет «самым эффективным инструментом прямой помощи в истории» . Первым масштабным частным донором стал Майкл Делл, который пожертвовал $6,25 млрд . Эти средства направлены на счета детей, родившихся с 2016 по 2024 год в бедных районах (low-income zip codes), по $250 на каждого, чтобы покрыть период до официального старта госпрограммы .

Новая механика пожертвований акциями

Традиционная благотворительность через фонды 501(c)(3) часто неэффективна из-за огромных операционных расходов и раздутых штатов . Инфраструктура Trump Accounts позволяет дарить акции напрямую на счета детей, что имеет колоссальные налоговые преимущества:

Важным примером стала Гвинн Шотвелл (президент SpaceX), которая обязалась передать в фонд программы акции SpaceX . Это создает уникальную ситуацию: дети становятся совладельцами самых перспективных частных компаний мира, что невозможно через обычные публичные рынки . Ранее в интервью обсуждалась токенизация всей финансовой системы, и именно такие механизмы прямой передачи долей в компаниях предвещают этот переход .

Геймификация и региональное спонсорство

Программа планирует развивать систему «усыновления» регионов донорами. Например, Брэд Герстнер уже спонсирует штат Индиана . В планах разработчиков — геймифицировать процесс, чтобы филантропы могли конкурировать за поддержку конкретных школ, городов или почтовых индексов, делая процесс помощи прозрачным и увлекательным .

🌐 Токенизация и новая эра частного капитала 1:14:33

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

В качестве доказательства Robinhood уже запустил проект Robinhood Chain за пределами США, который стал одним из самых быстрорастущих блокчейнов, генерируя более миллиарда долларов ежедневного объема на децентрализованных биржах . Ключевым продуктом стали «сток-токены» (stock tokens) — цифровые репрезентации акций США, таких как Nvidia или SpaceX, которые торгуются в экосистеме DeFi как «финансовое лего» .

Преимущества перехода на блокчейн-инфраструктуру включают:

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

🚀 Демократизация Pre-IPO: Доступ к OpenAI и SpaceX 1:21:36

Одной из самых амбициозных инициатив Robinhood стало решение проблемы «темной материи» финансового рынка — частных компаний . До сих пор львиная доля прибыли от роста таких гигантов, как SpaceX или OpenAI, доставалась узкому кругу венчурных фондов, в то время как обычные инвесторы могли купить акции только после IPO, когда основная фаза роста уже пройдена .

Тенев представил Robinhood Ventures — механизм, который фактически превращает венчурный капитал в инструмент, доступный розничному инвестору . Компания уже запустила два фонда, котирующихся на NASDAQ и NYSE:

  1. Fund 1: Ориентирован на компании поздних стадий (Frontier companies). В портфель уже входят OpenAI и Cruzo .
  2. Fund 2: Партнерство с Y Combinator для инвестиций в стартапы на стадиях Seed и Series A, позволяющее людям владеть долей в будущих «единорогах» еще до того, как они станут известны каждому .

Особенностью этих фондов является отсутствие комиссии за успех (no carry), что делает их уникальными для рынка . Тенев подчеркивает, что владение акциями инновационных компаний меняет поведение людей: они начинают защищать эти бренды в социальных сетях, превращаясь из пассивных наблюдателей в активных участников капиталистической системы . Хотя сейчас эти активы торгуются как доли в фонде, «полярной звездой» для Robinhood остается прямая круглосуточная торговля акциями частных компаний .

🤖 Прорыв в робототехнике: Обучение Figure и Helix 2.5 1:30:30

Дискуссия перешла к физическому миру, где компания Бретта Эдкока Figure демонстрирует ошеломляющие темпы прогресса . В новом видео был представлен ИИ-движок Helix 2.5, который решает «святой грааль» робототехники — генерализацию .

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

Ключевые выводы из последних испытаний:

Участники обсудили возможность слияния Figure с компанией Hark для объединения физического и цифрового интеллекта в единого «домашнего помощника» . Это вписывается в модель Илона Маска: создание новых компаний под конкретные задачи для привлечения талантов с последующим их объединением .

🛡️ Дизайн роботов: Дружелюбный дворецкий против Терминатора 1:36:45

Несмотря на технологический восторг, Влад Тенев выразил серьезный скепсис относительно внешнего вида современных гуманоидов . Большинство разработчиков, следуя по стопам Tesla Optimus, создают роботов с агрессивным, «индустриальным» дизайном .

«Я не понимаю, почему все они выглядят как Терминаторы. Я бы не хотел встретить такое существо в коридоре, когда иду ночью к холодильнику», — признался Тенев . По его мнению, индустрия пока не нашла правильный «продуктовый образ» для дома .

В ходе беседы были выделены два направления в дизайне домашних систем:

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

🤖 Сингулярность в разработке и экономика интеллекта 1:50:16

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

Рекурсивное самосовершенствование ИИ в Anthropic 1:50:16

Одним из самых громких заявлений в индустрии стали данные компании Anthropic о том, что их модель Claude теперь самостоятельно выполняет около 26% всех измеряемых научно-исследовательских и опытно-конструкторских работ (R&D) внутри компании . Это колоссальный скачок по сравнению с 1% в начале года и 3% в апреле . Внутри Anthropic одновременно работают около 30 000 агентов, занимающихся инженерией и исследованиями .

Алекс подчеркивает, что этот процесс развивается по сигмоидальной кривой: если экстраполировать текущий тренд, то через 3–12 месяцев ИИ будет полностью лидировать в собственном R&D . Это и есть состояние полной рекурсивной самооптимизации (RSI) . Влад Тенев отмечает, что автоматизация исследований ИИ — одна из самых простых задач, так как модели работают в «песочницах», их интерфейсы прямолинейны, а результаты легко проверяются автоматическими эвалюациями .

В отличие от сложных потребительских продуктов вроде Robinhood, где код может насчитывать десятки миллионов строк и требует проверки на реальных пользователях , алгоритмы ИИ относительно компактны — около 10 000 строк кода для таких моделей, как GLM или K3 . Это делает их идеальной средой для того, чтобы «ИИ-исследователи» начали замещать людей, так как в таких алгоритмах практически нет циклов и сложной внешней зависимости .

Эффективность ИИ против человеческого мозга: «IQ на ватт» 1:56:37

Борис Пауэр, глава отдела прикладных исследований в OpenAI, объявил о достижении важного микроэкономического рубежа: графические процессоры (GPU) стали более эффективными «мыслителями», чем человеческий мозг, в расчете на единицу затраченной энергии . Согласно его расчетам, человек выдает примерно 5 баллов IQ на один ватт энергии, в то время как современные ИИ-системы демонстрируют показатель от 7 до 40 баллов IQ на ватт .

Этот факт имеет глубокие последствия для капиталистической системы:

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

ИИ в юриспруденции и консалтинге 1:59:56

OpenAI продолжает экспансию в специализированные профессиональные сферы, запуская инструменты, которые напрямую угрожают традиционным моделям консалтинга. Недавно были представлены ChatGPT for Financial Services (совместно с Morgan Stanley) и Astra for Law — специализированная система для юристов . Astra покрывает всё прецедентное право США, уставы и нормативные акты, значительно превосходя обычные поисковые системы в юридических вопросах .

Дэйв приводит личный пример: во время сложной сделки по поглощению, находясь на линии с юристом, чей час стоит $2500, он параллельно вводил те же вопросы в Gemini и получал практически идентичные ответы слово в слово . Это ставит под сомнение будущее младших юристов-ассоциатов, чья работа по поиску и анализу информации теперь может быть автоматизирована почти мгновенно . Влад Тенев добавляет, что аналогичная автоматизация ждет налоговую оптимизацию, управление трастами и завещаниями — задачи, идеально подходящие для алгоритмов .

Будущее профессий: почему юристов станет больше 2:02:08

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

  1. Взрыв предпринимательства: Потребность в праве масштабируется вместе с созданием новых бизнесов . Удешевление инструментов позволит миллионам «соло-предпринимателей» запускать компании, что создаст колоссальный спрос на юридическую обвязку и структурирование .
  2. Роль «консильери»: Ценность великого юриста или финансового консультанта не в предоставлении сухих фактов (которые теперь дает ИИ), а в доверии, переговорах и стратегическом мышлении .

Тенев сравнивает это с рынком робо-эдвайзеров в финансах: когда появились автоматические системы балансировки портфелей, рынок человеческих консультантов начал расти еще быстрее . Люди предпочитают делегировать сложные аспекты своей жизни тем, кому они доверяют, особенно когда ИИ повышает эффективность этого доверенного лица в 10 раз, освобождая его от рутины . Как ранее в разговоре они касались темы токенизации, сложность новых финансовых структур лишь укрепит потребность в человеческом контроле.

🏁 Завершение дискуссии и взгляд в будущее 2:05:37

Прощание и благодарности участникам 2:05:37

Финальный этап беседы прошел в атмосфере взаимного уважения и признания значимости поднятых тем, которые охватывали как будущее финансовых технологий в Robinhood, так и стремительное развитие систем искусственного интеллекта . Питер Диамандис поблагодарил своего основного гостя, Влада Тенева, за глубокое погружение в стратегию компании, отметив, что масштаб обсуждаемых изменений — от токенизации активов до внедрения агентного ИИ в трейдинг — поражает воображение . Диамандис подчеркнул, что скорость (velocity), с которой развиваются технологии, только возрастает, и «будущее наступает быстрее, чем кажется» .

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

Резюме встречи: от робототехники до финтеха 2:06:01

Диалог завершился на оптимистичной ноте, подтверждая, что синергия между робототехникой, нейросетями и финансовыми рынками станет определяющим фактором следующего десятилетия . Ранее в разговоре участники детально разбирали безопасность ИИ, будущее антропоморфных роботов Figure и Helix, а также то, как блокчейн может демократизировать доступ к инвестициям, и эти темы стали фундаментом для финального обмена мнениями . Влад Тенев поблагодарил Питера за возможность поделиться своим видением, отметив, что открытый диалог между технологическими лидерами критически важен для безопасного перехода к новому технологическому укладу .

Последние секунды эфира были посвящены признанию важности каждого из спикеров, присутствовавших в студии и за её пределами, что подвело черту под этим двухчасовым исследованием будущего .

💬 Цитаты

«Лучший предохранитель — это ответственность лабораторий за то, что они создают. Вы владеете тем, что вы сломали.»

Scott Bessant (quoted by Peter Diamandis) 04:36

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

Влад Тенев 40:10

«Программа Trump Accounts расширяет владение активами до нулевого возраста: каждый рожденный получает долю в росте индустрии.»

«Токенизация — это товарный поезд, который поглотит традиционные финансовые рельсы.»

«Мы пересекли порог, когда GPU стали более эффективными мыслителями, чем человеческий мозг, на единицу мощности.»

Boris Power (цитата по Alex) 1:56:50

«Через 10 лет юристов и инженеров будет больше, чем сегодня, потому что потребность в праве растет вместе с предпринимательством.»

👥 Спикеры
📖 Термины
Lean
Язык программирования и интерактивное средство доказательства теорем, используемое для формальной верификации софта.
Scaling laws
Математические закономерности, описывающие улучшение работы нейросетей при увеличении объема данных и вычислительной мощности.
Токенизация
Процесс замены физических или юридических активов цифровыми токенами на блокчейне.
Технологии и IT Robinhood OpenAI Влад Тенев Формальная верификация SpaceX