Lex 对话数学家：AI 能组合已知方法，难提新问题

Lex Fridman 与 Alex Kontorovich、Ankur Moitra 等三位数学家讨论 AI 在数学上的能力边界。他们认为，AI 能极高效地组合已知方法、完成形式化证明并改写研究边界，但尚未提出新的数学问题；提出新问题恰是人的价值所在。 这一判断来自对话参与者的说法，并非经研究验证的结论。

AI 根据报道生成 · 45 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。