The lede
Terence Tao on open problems being mined non-renewably
Simon Willison
Tao's worry is not that machines solve mathematics badly but that a rumor of someone working on a problem now summons enough AI-powered effort to finish it first, which turns a shared commons into a claim to be staked. The predicted response is that researchers simply stop saying what they are working on, reversing centuries of open science. Anyone who has watched a team go quiet about its roadmap once a competitor started shipping fast will recognize the shape of this exactly.