Hacker News new | ask | show | jobs
by nebulous1 996 days ago
This other article by Tao explains the situation: https://www.ams.org/notices/202007/rnoti-p1007.pdf