Artificial intelligencefromTechCrunch2 days agoOpenAI's 'embarrassing' math | TechCrunchGPT-5 did not prove new Erdős problems; it retrieved existing solutions from the literature that had been previously overlooked by some curators.