成百上千条定理一次秒杀 AI将颠覆数学界!用Lean规模化 陶哲轩最新采访 新智元报道编辑,庸庸乔杨,新智元导读,陶哲轩在最新的采访中,系统地谈到了AI可能会对数学领域产生的影响,他乐观地认为,使用Lean等工具,形式化,数学,在AI的辅助下实现规模化生产——一次证明数百或数...