Wharton’s Damek Davis on Why Context Is the Next Big Challenge in AI
Автор: SAIR
Загружено: 2026-02-22
Просмотров: 2988
Описание:
Davis shares his journey from pure mathematics into optimization and machine learning, and explains how limitations in model context affect reliability, reasoning, and control. He also explores the role of formal proof systems, different standards of truth across scientific fields, and how AI tools are reshaping mathematical research.
In this conversation:
• Why context is a key bottleneck in modern AI models
• The role of optimization and mathematics in machine learning
• Formal verification and proof systems like Lean
• Different definitions of “truth” across scientific disciplines
• Benchmarks for mathematical reasoning in AI
• How researchers are using AI tools today
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
![Почему взрываются батарейки и аккумуляторы? [Veritasium]](https://imager.clipsaver.ru/a3-3R9zwyGY/max.jpg)
