陶哲轩谈AI与形式化：数学研究的范式革命已经开始 近日，MathInc.与知名数学家陶哲轩进行了一场深入对话。作为2006年菲尔兹奖得主，他近年来在形式化数学与AI辅助证明领域的探索引发了学界广泛关注。...
