OpenAI publishes 372 AI-generated math proofs, challenging academic review
openai releases 372 math proofs generated by internal ai model to github, aiming to advance open problems and improve computer algorithms.
openai has released 372 mathematical results generated by an internal ai model on github, with the goal of advancing open problems and improving computer algorithms. the results were produced by a single ai agent, with each one consuming about three hours of chatgpt pro compute on average. openai consulted with the advisory group on mathematics and artificial intelligence and plans to fund workshops and conferences to understand ai-produced results.