88岁图灵奖得主，用Claude一小时破解30年数学悬案