标签
Kate Stange 和 Edmund Harriss 在 Terence Tao 博客上发表的客座文章,反思了一场关于严格数学图解的工作坊,主张 AI 已经打破了深奥定理的稀缺性,数学必须重视理解与图解,而不能仅仅停留在证明写作上。