数学影像馆

视频目录 / 数学家与数学史

热度排名 #1669

陶哲轩等人谈 o1 与数学推理

The Future of Math with o1 Reasoning with Terence Tao, Mark Chen, and James Donovan

这是 OpenAI 主办的对谈。听到模型解题的例子时,可以分别记下它怎样提出步骤,以及数学家需要怎样检查这些步骤。

OpenAI · 1 串讨论 · 热度 1.723

打开原视频 ↗浏览数学家与数学史

讨论出处