OpenAI AI solves 372 open math problems, raising verification concerns

OpenAI has reportedly produced proofs for 372 open mathematical problems, a development that could transform mathematical research. However, the incoming president of the Mathematician Association cautions that key elements are missing, likely referring to rigorous verification and human oversight. This marks a significant acceleration in AI's role in fundamental research, with implications for scientific methodology and trust.