Google's AI Mathematician with 48% Success Rate Outperforms All, Helps Oxford Professor Solve 60-Year-Old Mystery 36Kr