Lex 对话三位数学家：AI 能组合已知方法，却还没提出新数学问题

Lex Fridman 与 Alex Kontorovich、Ankur Moitra 等三位数学家讨论 AI 在数学上的能力边界：AI 能极高效地组合已知方法、完成形式化证明并改写研究边界，但尚未提出新的数学问题。他们认为，提出新问题恰是人的价值所在。