
AI in Math Sparks Credit Debates and a Push for New Rules
AI is increasingly essential in mathematical research, but its use raises attribution and trust questions as researchers navigate potential influence on proofs and results; OpenAI defends that prompts or data didn’t influence the Navier–Stokes solution, while mathematicians push for guidelines (such as the Leiden Declaration) and a cautious path forward to balance efficiency gains with preserving human credit.












