SAIR 联合创始人、加州大学洛杉矶分校教授及菲尔兹奖得主陶哲轩分享了他对人工智能如何开始重塑数学领域的思考 —— 这门学科的结构数个世纪以来未曾改变。 此次对话在加州大学伯克利分校录制，陶哲轩探讨了数学领域的文化保守主义、大规模协作的兴起、形式化验证，以及人工智能如何拓展 —— 而非取代 —— 人类的数学创造力。 从黑板与独立解题，到 GitHub 代码库、众包证明与机器辅助发现，这段对话深入探讨了在人工智能时代，不确定性、验证方式与协作模式如何演变。人工智能会取代数学家的工作 —— 还是会开启全新的思维方式？