DeepMind's AI, AlphaGeometry, outperforms IMO gold medalists, raising questions about the future of mathematics and AI's role ...