陶哲轩邓煜批评AI暴力解题，称其破坏人类数学精神

OpenAI用1万智能体解决千年数学难题，88小时完成形式化验证，陶哲轩警告AI改变数学研究生态。

陶哲轩谈AI如何改变数学研究生态，开放科学传统面临挑战。

别看陶哲轩和ChatGPT聊雅可比猜想的对话，领域知识才是用好LLM的钥匙。学学他怎么提问，比堆提示词管用。

菲尔兹奖得主陶哲轩亲测AI编码代理，几小时搞定老代码迁移，还顺手做了相对论可视化。