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