Why are mathematicians concerned about OpenAI’s AI solving problems that stumped researchers for years?

OpenAI has released 722 AI-generated maths papers covering 372 groups of results, sparking debate over AI’s role in research. Mathematicians are questioning the reliability of AI-generated proofs and whether research is advancing faster than humans can verify it.