Nature 2026-04-27

“数学家的工作内容正在改变”: 陶哲轩谈 AI 的兴起

摘要

陶哲轩在《自然》访谈中区分实际研究价值与炒作，并讨论形式化验证和人类判断日益重要的角色。

证据与核对