Terence Tao on AI in Math.
AI can synthesize a million papers and brute-test ideas. Humans can check just 5 examples and see the pattern.
But as systems move toward world models, causal reasoning, and active learning, this efficiency gap will narrow.
And this comes from a theoretical physicist.