Mathematics in the Age of AI Oracles [pdf] | Hacker News Reader