Tao: Open math problems being non-renewably mined by AI Published 2026-09-09 · news Tao: Open math problems being non-renewably mined by AI