陶哲轩携AI再战数学,o4-mini秒怂弃赛,Claude 20分钟通关

100%过度自动化,毁掉数学未来?