AI Is Solving Math's Best Problems Faster Than They Can Be Replaced, Terence Tao Warns

The Fields medalist points to a real race between OpenAI and Anthropic as proof: AI can now flatten a hard problem the moment someone starts working on it.