OpenAI
OpenAI withdraws three AI-generated math papers over a sign error
OpenAI withdrew three papers from its AI-generated mathematics collection. According to its update log, a sign error in one paper invalidated that proof and two papers built on the same construction. The catalogue went from 722 to 719 papers, and the same update fixed 14 papers and added 6 new Lean