Generative AI systems have begun making genuine contributions to mathematics, including OpenAI’s announcement of ten mathematical advances credited to its Astra model, but the mathematics community remains divided on how to responsibly integrate the tools, according to an analysis published in The Conversation. Funding agencies and journals are now developing new policies to address questions of attribution and accountability for AI-assisted proofs. Some mathematicians reject AI use on ethical grounds while others treat it as a research partner, and the analysis notes that both approaches continue to produce strong results.
