Tao: Open math problems being non-renewably mined by AI

news.ycombinator.com

saved by: 0 people
related read on: On the Navier–Stokes Millennium Prize Problem related HN threads