陶哲轩定义Math 2.0时代:敦促数学家停止与OpenAI合作

📝

内容提要

AI一个月刷爆数学界,但解题快不等于懂数学! 陶哲轩转发了人类数学协会的声明,该声明敦促数学家停止与OpenAI合作。AI花很少的钱就能批量生产数学证明。数学家慌了。解题速度狂飙的背后,是理解力的集体退化。 本文聊聊陶哲轩的Math 2.0愿景。看看First Proof的评测数据。看看OpenAI 700篇论

🏷️

标签

➡️

继续阅读