Terence Tao: AI that solves problems too fast could "poison" mathematics
GPT-6 Astra shrank the twin-prime gap bound from 246 to 186. Terence Tao warns that fast, opaque AI answers could strip mathematics of its most valuable part — the search itself.