- Популярные видео
- Авто
- Видео-блоги
- ДТП, аварии
- Для маленьких
- Еда, напитки
- Животные
- Закон и право
- Знаменитости
- Игры
- Искусство
- Комедии
- Красота, мода
- Кулинария, рецепты
- Люди
- Мото
- Музыка
- Мультфильмы
- Наука, технологии
- Новости
- Образование
- Политика
- Праздники
- Приколы
- Природа
- Происшествия
- Путешествия
- Развлечения
- Ржач
- Семья
- Сериалы
- Спорт
- Стиль жизни
- ТВ передачи
- Танцы
- Технологии
- Товары
- Ужасы
- Фильмы
- Шоу-бизнес
- Юмор
数学正式进入证明过剩时代 | 陶哲轩 | 证明消化难题 | 隐式目标 | 学术激励缺口 | Talk指标 | 高速公路和步行街 | 方程理论项目 | 数学教育的改革 | 形式化验证工具
当AI能比人类更快、更准地证明数学定理，我们的数学研究，甚至整个数学体系，到底该往哪走？可能很多朋友觉得，数学离我们很远，但是这件事的本质，是AI正在挑战人类最核心的知识生产与传承的逻辑。几天前，陶哲轩在未来数学研讨会（Future of Mathematics Symposium）上做了一场 keynote 演讲，核心内容直指当下AI辅助数学研究的核心矛盾，而这场分享，也让我们第一次清晰看到，数学，这个几千年来几乎没怎么变过的学科，正站在一场不得不改的变革前夜。
https://youtu.be/Uc2zt198U_U?si=p1SWBGecCq93mL6N
Видео 数学正式进入证明过剩时代 | 陶哲轩 | 证明消化难题 | 隐式目标 | 学术激励缺口 | Talk指标 | 高速公路和步行街 | 方程理论项目 | 数学教育的改革 | 形式化验证工具 канала 最佳拍档
https://youtu.be/Uc2zt198U_U?si=p1SWBGecCq93mL6N
Видео 数学正式进入证明过剩时代 | 陶哲轩 | 证明消化难题 | 隐式目标 | 学术激励缺口 | Talk指标 | 高速公路和步行街 | 方程理论项目 | 数学教育的改革 | 形式化验证工具 канала 最佳拍档
Комментарии отсутствуют
Информация о видео
21 мая 2026 г. 14:00:25
00:12:38
Другие видео канала
OpenAI为何能坚持AGI道路 #openai #人工智能
【商业】创业公司如何找到产品市场契合点PMF | 红杉资本Arc活动分享 | 产品与客户之间的三种关系 | 如何选择路径 | 燃眉之急 | 铁的事实 | 未来愿景
OpenAI内部模型攻克80年数学难题 | 平面单位距离问题 | Paul Erdős | 用代数数论解决平面几何问题 | 菲尔兹奖得主评价 | AI正在帮助重建数学大教堂
【人工智能】AI未来发展的核心支柱 | 钢铁、服务器、能源 | David Cahn红杉美国合伙人 | 数据中心 | 基建效率 | 现金牛 | 房地产 | 资产负债表外融资
Agent到底是如何花钱的 | 隐形账单 | OpenHands | 8款前沿模型 |消耗主要在输入Token | 波动性极大 | 任务准确率不高反低 | 哪个模型更省钱 | 成本能预测么
【人工智能】如何写好提示词 | OpenAI官方提示工程指南 | 六大原则 | 清晰细致 | 提供参考 | 任务拆分 | 让它思考 | 外部工具 | 系统测试
Gemini 3.5 Flash发布 | I/O 2026大会 | 超速进步 | 五层架构 | 第八代TPU | Omni | Antigravity | Spark | 搜索 | 购物 | 智能眼镜
生成式路线不会实现AGI | Yann Lecun | 五年内JEPA将统治全球 | OpenAI会是下一个Sun | 对Llama没有任何技术贡献 | LLM存在内生安全缺陷 | 行业将承认错误路线
Meta裁员录音泄露，扎克伯格明确告诉员工，你们被用来训练AI | Meta裁员8000人
下一代Claude该如何打造 | Alex Albert | 模型即产品 | 编程能力 | 产品一体化 | 自适应思考 | Dreaming | 性格训练 | 单向门和双向门决策 | 书面文化
AI的终局还没开始 | Alexander Wang | 加入Meta十个月 | MSL | Muse Spark | 与Altman决裂 | Manus交易 | 杨立昆 | 超级智能 | AI福祉
关于中美企业异国发展蔡崇信给出了一些务实建议
英伟达发布2026年第一季度财报 | 营收816亿 | 利润583亿 | 数据中心业务暴增92% | 股价反跌2% | 我们到底对英伟达预期什么
