计算工具 - AI有智慧

陶哲轩IMO演讲全文：一次性解决一千个问题，AI让数学摆脱蛮力计算

AI智慧秀 陶哲轩IMO演讲全文：一次性解决一千个问题，AI让数学摆脱蛮力计算

在探索「数学之美」的路上，人工智能到底走到哪一步了？说到这个话题，可能没人比数学家陶哲轩更懂。