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

No need for symbolic programs for Math? Natural language approach to IMO скачать в хорошем качестве

No need for symbolic programs for Math? Natural language approach to IMO 5 месяцев назад

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

скачать mp3

скачать mp4

поделиться

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

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

бесплатно

загрузить,

Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...
No need for symbolic programs for Math? Natural language approach to IMO
  • Поделиться ВК
  • Поделиться в ОК
  •  
  •  


Скачать видео с ютуб по ссылке или смотреть без блокировок на сайте: No need for symbolic programs for Math? Natural language approach to IMO в качестве 4k

У нас вы можете посмотреть бесплатно No need for symbolic programs for Math? Natural language approach to IMO или скачать в максимальном доступном качестве, видео которое было загружено на ютуб. Для загрузки выберите вариант из формы ниже:

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

Скачать mp3 с ютуба отдельным файлом. Бесплатный рингтон No need for symbolic programs for Math? Natural language approach to IMO в формате MP3:


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



No need for symbolic programs for Math? Natural language approach to IMO

International Mathematical Olympiad (IMO) is an international mathematical competition which challenges participants with exceptionally difficult problems in fields like algebra, number theory and combinatorics. Previously, LLM-based approaches have conquered Math benchmarks like GSM8K and AIME, but have only attained Silver medal performance at IMO. To solve IMO problems, there needs to be multi-step reasoning and creative innovation to think beyond the norm. OpenAI and Gemini have claimed to attain the Gold level performance at IMO 2025, with Gemini being officially verified. Here, let us take a look at how two researchers, Yichen Huang and Lin F. Yang managed to attain the Gold level performance as well. They used the LLM as a pipeline to generate solutions, verify them and self-improve the solutions. It is amazing as previously I thought that a robust verifier was needed for Math. Apparently, if the LLM is well trained on Math datasets, you can use the LLM as a verifier directly. ~~~ Links: Slides: https://github.com/tanchongmin/john-y... Paper: https://www.alphaxiv.org/pdf/2507.15855 Code: https://github.com/lyang36/IMO25 Other References: Gemini IMO Gold: https://deepmind.google/discover/blog... Gemini Deep Think: https://blog.google/technology/google... AlphaGeometry: https://deepmind.google/discover/blog... AlphaProof (Silver-level IMO performance with symbolic solver): https://deepmind.google/discover/blog... AlphaCode: https://deepmind.google/discover/blog... ARC-AGI Challenge Ryan Greenblatt's "Sample More" solution: https://redwoodresearch.substack.com/... ~~~ 0:00 Introduction 5:32 Domain-Specific Language Approach 10:26 From DSL to Natural Language 14:53 Deep Think 23:35 Natural Language Approach to Math 56:07 AlphaEvolve 1:00:52 Open-sourced IMO Gold AI Workflow 1:19:12 Detailed Steps 1:28:56 Key Takeway: Verifier is not perfect - but system can still work! 1:33:09 My thoughts 1:55:36 Discussion 2:04:38 Conclusion ~~~ AI and ML enthusiast. Likes to think about the essences behind breakthroughs of AI and explain it in a simple and relatable way. Also, I am an avid game creator. Discord:   / discord   LinkedIn:   / chong-min-tan-94652288   Online AI blog: https://delvingintotech.wordpress.com/ Twitter:   / johntanchongmin   Try out my games here: https://simmer.io/@chongmin

Comments
  • Exploring Math, Physics, and AI With Google's Gemini 3! Трансляция закончилась 1 месяц назад
    Exploring Math, Physics, and AI With Google's Gemini 3!
    Опубликовано: Трансляция закончилась 1 месяц назад
  • MemOS: A Paradigm Shift to Memory as a First Class Citizen for LLMs 6 месяцев назад
    MemOS: A Paradigm Shift to Memory as a First Class Citizen for LLMs
    Опубликовано: 6 месяцев назад
  • How I finetuned a Small LM to THINK and solve puzzles on its own (GRPO & RL!) 6 месяцев назад
    How I finetuned a Small LM to THINK and solve puzzles on its own (GRPO & RL!)
    Опубликовано: 6 месяцев назад
  • Продвижение в Покровске, Гренландия уводит Европу, Долина: финал. Эггерт, Давлетгильдеев, Шепелин
    Продвижение в Покровске, Гренландия уводит Европу, Долина: финал. Эггерт, Давлетгильдеев, Шепелин
    Опубликовано:
  • Claude за 20 минут: Полный курс для новичков 5 дней назад
    Claude за 20 минут: Полный курс для новичков
    Опубликовано: 5 дней назад
  • Terence Tao at IMO 2024: AI and Mathematics 1 год назад
    Terence Tao at IMO 2024: AI and Mathematics
    Опубликовано: 1 год назад
  • ЛИПСИЦ, БОРОДКИН: Трамп позвал Лукашенко и Путина в Совет мира, РФ
    ЛИПСИЦ, БОРОДКИН: Трамп позвал Лукашенко и Путина в Совет мира, РФ "просирает деньги" | Обычное утро
    Опубликовано:
  • How to Train LLMs to 11 месяцев назад
    How to Train LLMs to "Think" (o1 & DeepSeek-R1)
    Опубликовано: 11 месяцев назад
  • Может ли у ИИ появиться сознание? — Семихатов, Анохин 12 дней назад
    Может ли у ИИ появиться сознание? — Семихатов, Анохин
    Опубликовано: 12 дней назад
  • DINOv3: One backbone, multiple image/video tasks 4 месяца назад
    DINOv3: One backbone, multiple image/video tasks
    Опубликовано: 4 месяца назад
  • Компания Salesforce признала свою ошибку. 19 часов назад
    Компания Salesforce признала свою ошибку.
    Опубликовано: 19 часов назад
  • AlphaEvolve: Using LLMs to solve Scientific and Engineering Challenges | AlphaEvolve explained 7 месяцев назад
    AlphaEvolve: Using LLMs to solve Scientific and Engineering Challenges | AlphaEvolve explained
    Опубликовано: 7 месяцев назад
  • Supervised Reinforcement Learning! (No, you didn't misread this) (Part 1) 7 дней назад
    Supervised Reinforcement Learning! (No, you didn't misread this) (Part 1)
    Опубликовано: 7 дней назад
  • How many instructions can LLMs follow at once? 5 месяцев назад
    How many instructions can LLMs follow at once?
    Опубликовано: 5 месяцев назад
  • Я в опасности 2 дня назад
    Я в опасности
    Опубликовано: 2 дня назад
  • Build a Small Language Model (SLM) From Scratch 7 месяцев назад
    Build a Small Language Model (SLM) From Scratch
    Опубликовано: 7 месяцев назад
  • Для Чего РЕАЛЬНО Нужен был ГОРБ Boeing 747? 2 месяца назад
    Для Чего РЕАЛЬНО Нужен был ГОРБ Boeing 747?
    Опубликовано: 2 месяца назад
  • Мы будем жить до 130 лет! Как создатель Maps.me Юрий Мельничек делает лекарство от старости 5 дней назад
    Мы будем жить до 130 лет! Как создатель Maps.me Юрий Мельничек делает лекарство от старости
    Опубликовано: 5 дней назад
  • Reasoning without Language - Deep Dive into 27 mil parameter Hierarchical Reasoning Model 5 месяцев назад
    Reasoning without Language - Deep Dive into 27 mil parameter Hierarchical Reasoning Model
    Опубликовано: 5 месяцев назад
  • Почему Питер Шольце — математик, каких бывает раз в поколение? 3 недели назад
    Почему Питер Шольце — математик, каких бывает раз в поколение?
    Опубликовано: 3 недели назад

Контактный email для правообладателей: u2beadvert@gmail.com © 2017 - 2026

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



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