• Sources: report, Clay Institute statement, HN discussion, HN thread
  • Summary: Business Insider reports OpenAI, which it identifies as the ChatGPT maker, withdrew from a Caltech AI mathematics hackathon following an open letter from mathematicians, and states two objections in the letter: the uncompensated labour of verifying machine-generated output, and that the event would be unfair advertising for AI companies who will take credit for the effort of talented undergraduates. The same article states the dispute reached its peak on Tuesday 2026-09-08, when OpenAI announced its agents had solved the Navier-Stokes equations. Anthropic, the event's other sponsor, had not responded at publication. The Clay Mathematics Institute statement dated 2026-09-11 says the rules governing its prizes describe the process for evaluating what has been achieved and for assigning credit, that the process is deliberately unhurried, and that the Navier-Stokes problem has apparently been settled, which the institute does not state as a confirmation.
  • Why it matters: The binding cost in machine-assisted mathematics is reviewer time, and an objection to who pays it removed a sponsor rather than producing a statement alone.

send feedback on this story