Are We AI Math Yet? | Dark Hacker News