AI’s New Frontier: Could Machines Draft Tomorrow’s Theorems?

Generative AI is reshaping mathematics by accelerating discoveries across geometry, cryptography, and coding theory (OpenAI’s Astra highlighted with ten advances). This has sparked debates on attribution, correctness, and what constitutes mathematical creativity, as AI-assisted work floods journals and arXiv. Mathematicians diverge on how to integrate AI: some ethically exclude it, others embrace it as a collaborator. Case studies show both paths—one team avoided AI, another used it to achieve in 43 hours what previously took years—leading to joint papers. The field is grappling with how to reconcile AI's capabilities with transparency, integrity, and human collaborative values, signaling a nuanced future for math where machines help but human discernment remains central.