OpenAI Withdraws Caltech Sponsorship Over Backlash Against Unverified AI Math Proofs

OpenAI withdrew its sponsorship of a Caltech math hackathon after mathematicians published an open letter protesting AI companies for publishing unverified research claims. The boycott followed OpenAI's controversial claim that its AI agents solved the famous Navier-Stokes equations, which academics criticized for creating unpaid verification work and potentially misusing researcher interaction data. This dispute underscores growing tension between AI frontier labs and academia over research ethics, credit attribution, and the burden of unverified AI outputs on human peer review. It demonstrates that academic institutions and researchers are pushing back against commercial AI companies using academic events and researcher inputs for marketing or uncredited model training. Protesting mathematicians coined the term 'slop math' to describe incomplete AI-generated proofs that force human academics to perform uncompensated verification work. Furthermore, NYU mathematician Tristan Buckmaster raised concerns that OpenAI may have leveraged de-identified prompt logs from his recent interactions with AI tools to generate its Navier-Stokes claim.