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