The Future of Math with O1 Reasoning with Terence Tao | Hacker News Reader