陶哲轩参赛，在这项极其严格的数学测试中，人类表现优于AI