发生了什么

围绕AI撰写证明的讨论，很大一部分热度来自这些证明的裁决者陶哲轩。据The Atlantic报道，这位加州大学洛杉矶分校教授被广泛视为当今在世最伟大的数学家。但陶哲轩在接受采访时，对AI能为数学带来什么态度更为克制。他说，AI生成的Erdős问题解答确实令人印象深刻，却算不上震撼；这些机器人在功能上取得了一些“廉价的胜利”。