• ClipSaver
  • dtub.ru
ClipSaver
Русские видео
  • Смешные видео
  • Приколы
  • Обзоры
  • Новости
  • Тесты
  • Спорт
  • Любовь
  • Музыка
  • Разное
Сейчас в тренде
  • Фейгин лайф
  • Три кота
  • Самвел адамян
  • А4 ютуб
  • скачать бит
  • гитара с нуля
Иностранные видео
  • Funny Babies
  • Funny Sports
  • Funny Animals
  • Funny Pranks
  • Funny Magic
  • Funny Vines
  • Funny Virals
  • Funny K-Pop

Why Vlad Tenev and Tudor Achim of Harmonic Think AI Is About to Change Math—and Why It Matters скачать в хорошем качестве

Why Vlad Tenev and Tudor Achim of Harmonic Think AI Is About to Change Math—and Why It Matters 1 год назад

скачать видео

скачать mp3

скачать mp4

поделиться

телефон с камерой

телефон с видео

бесплатно

загрузить,

Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...
Why Vlad Tenev and Tudor Achim of Harmonic Think AI Is About to Change Math—and Why It Matters
  • Поделиться ВК
  • Поделиться в ОК
  •  
  •  


Скачать видео с ютуб по ссылке или смотреть без блокировок на сайте: Why Vlad Tenev and Tudor Achim of Harmonic Think AI Is About to Change Math—and Why It Matters в качестве 4k

У нас вы можете посмотреть бесплатно Why Vlad Tenev and Tudor Achim of Harmonic Think AI Is About to Change Math—and Why It Matters или скачать в максимальном доступном качестве, видео которое было загружено на ютуб. Для загрузки выберите вариант из формы ниже:

  • Информация по загрузке:

Скачать mp3 с ютуба отдельным файлом. Бесплатный рингтон Why Vlad Tenev and Tudor Achim of Harmonic Think AI Is About to Change Math—and Why It Matters в формате MP3:


Если кнопки скачивания не загрузились НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием видео, пожалуйста напишите в поддержку по адресу внизу страницы.
Спасибо за использование сервиса ClipSaver.ru



Why Vlad Tenev and Tudor Achim of Harmonic Think AI Is About to Change Math—and Why It Matters

Adding code to LLM training data is a known method of improving a model’s reasoning skills. But wouldn’t math, the basis of all reasoning, be even better? Up until recently, there just wasn’t enough usable data that describes mathematics to make this feasible. A few years ago, Vlad Tenev (also founder of Robinhood) and Tudor Achim noticed the rise of the community around an esoteric programming language called Lean that was gaining traction among mathematicians. The combination of that and the past decade’s rise of autoregressive models capable of fast, flexible learning made them think the time was now and they founded Harmonic. Their mission is both lofty—mathematical superintelligence—and imminently practical, verifying all safety-critical software. Hosted by: Sonya Huang and Pat Grady, Sequoia Capital 00:00 - Introduction 01:42 - Math is reasoning 06:16 - Studying with the world's greatest living mathematician 10:18 - What does the math community think of AI math? 15:11 - Recursive self-improvement 18:31 - What is Lean? 21:05 - Why now? 22:46 - Synthetic data is the fuel for the model 27:29 - How fast will your model get better? 29:45 - Exploring the frontiers of human knowledge 34:11 - Lightning round

Comments
  • OpenAI's Noam Brown, Ilge Akkaya and Hunter Lightman on o1 and Teaching LLMs to Reason Better 1 год назад
    OpenAI's Noam Brown, Ilge Akkaya and Hunter Lightman on o1 and Teaching LLMs to Reason Better
    Опубликовано: 1 год назад
  • Теренс Тао: Сложнейшие задачи математики, физики и будущее ИИ | Лекс Фридман Подкаст #472 5 месяцев назад
    Теренс Тао: Сложнейшие задачи математики, физики и будущее ИИ | Лекс Фридман Подкаст #472
    Опубликовано: 5 месяцев назад
  • Geoffrey Hinton reveals the surprising truth about AI’s limits and potential 1 год назад
    Geoffrey Hinton reveals the surprising truth about AI’s limits and potential
    Опубликовано: 1 год назад
  • LangChain’s Harrison Chase on Building the Orchestration Layer for AI Agents | Training Data 1 год назад
    LangChain’s Harrison Chase on Building the Orchestration Layer for AI Agents | Training Data
    Опубликовано: 1 год назад
  • Meta’s Joe Spisak on Llama 3.1 405B and the Democratization of Frontier Models | Training Data 1 год назад
    Meta’s Joe Spisak on Llama 3.1 405B and the Democratization of Frontier Models | Training Data
    Опубликовано: 1 год назад
  • Robinhood CEO Vlad Tenev Wants to Change the Future of AI 4 месяца назад
    Robinhood CEO Vlad Tenev Wants to Change the Future of AI
    Опубликовано: 4 месяца назад
  • The Breakthroughs Needed for AGI Have Already Been Made: OpenAI Former Research Head Bob McGrew 4 месяца назад
    The Breakthroughs Needed for AGI Have Already Been Made: OpenAI Former Research Head Bob McGrew
    Опубликовано: 4 месяца назад
  • Automated Mathematical Proofs - Computerphile 3 года назад
    Automated Mathematical Proofs - Computerphile
    Опубликовано: 3 года назад
  • Краткое объяснение больших языковых моделей 11 месяцев назад
    Краткое объяснение больших языковых моделей
    Опубликовано: 11 месяцев назад
  • Эксперт-исследователь ИИ отреагировал на o1 и рассказал о дальнейших перспективах в области рассу... 1 год назад
    Эксперт-исследователь ИИ отреагировал на o1 и рассказал о дальнейших перспективах в области рассу...
    Опубликовано: 1 год назад
  • Наш интеллект УМИРАЕТ. Как ИИ разрушает сознание? | Нейробиолог Алипов, Михаил Никитин 2 недели назад
    Наш интеллект УМИРАЕТ. Как ИИ разрушает сознание? | Нейробиолог Алипов, Михаил Никитин
    Опубликовано: 2 недели назад
  • Пирамида ОФЗ | Правительство занимает триллионы у россиян (English subtitles) @Max_Katz 7 часов назад
    Пирамида ОФЗ | Правительство занимает триллионы у россиян (English subtitles) @Max_Katz
    Опубликовано: 7 часов назад
  • Но что такое нейронная сеть? | Глава 1. Глубокое обучение 8 лет назад
    Но что такое нейронная сеть? | Глава 1. Глубокое обучение
    Опубликовано: 8 лет назад
  • Jim Fan on Nvidia’s Embodied AI Lab and Jensen Huang’s Prediction that All Robots will be Autonomous 1 год назад
    Jim Fan on Nvidia’s Embodied AI Lab and Jensen Huang’s Prediction that All Robots will be Autonomous
    Опубликовано: 1 год назад
  • Трансцендентные числа – боль и красота математики // Vital Math 1 год назад
    Трансцендентные числа – боль и красота математики // Vital Math
    Опубликовано: 1 год назад
  • Terence Tao at IMO 2024: AI and Mathematics 1 год назад
    Terence Tao at IMO 2024: AI and Mathematics
    Опубликовано: 1 год назад
  • The State of the AI Industry is Freaking Me Out 4 недели назад
    The State of the AI Industry is Freaking Me Out
    Опубликовано: 4 недели назад
  • Цепи Маркова — математика предсказаний [Veritasium] 1 месяц назад
    Цепи Маркова — математика предсказаний [Veritasium]
    Опубликовано: 1 месяц назад
  • Теперь Путин кинул Мадуро. Врата интернета захлопываются. Светские тусовки Москвы. Наоко и репрессии Трансляция закончилась 4 часа назад
    Теперь Путин кинул Мадуро. Врата интернета захлопываются. Светские тусовки Москвы. Наоко и репрессии
    Опубликовано: Трансляция закончилась 4 часа назад
  • AI can't cross this line and we don't know why. 1 год назад
    AI can't cross this line and we don't know why.
    Опубликовано: 1 год назад

Контактный email для правообладателей: [email protected] © 2017 - 2025

Отказ от ответственности - Disclaimer Правообладателям - DMCA Условия использования сайта - TOS



Карта сайта 1 Карта сайта 2 Карта сайта 3 Карта сайта 4 Карта сайта 5