如果能被取代，数学家的工作也是最后一个被取代的。在此之前人类的其他工作早就被AI取代了，哈哈
【 在 annals 的大作中提到: 】
: * 概述
: ucla的ipam在今年二月份组织了一场同名研讨会,二十余名来自不同领域的专家做了报告,绝大部分都有录像.主要集中在两个领域:
: ** 辅助证明(proof assistants)
: ...................
--
FROM 173.67.37.*