陶哲轩预测人工智能将终结数学领域的守门人现象。 人工智能证明助手正在打破阻碍业余人士的技术壁垒。 通过自动化验证，人工智能使任何人都能贡献严谨的专业级数学成果。 象牙塔正在倒塌，技术平权赋能普通人。