AI's mathematics blitz pushes science into new territory | Hacker News Reader