Standard
A statement by mathematicians on how AI-generated proofs affect their field, with recommendations for mathematicians, institutions, and policymakers.
Days after Caltech mathematicians called AI "slop mathematics" research misconduct, OpenAI's research lead said the company would stop sponsoring their competition. Organizers say they are talking to other firms.
Reality
A week and a half after accusing OpenAI of copying his approach to a problem carrying a $1 million bounty, the NYU mathematician is still running the company's coding agent on his own papers.
Reality
A Caltech open letter says research mathematicians end up verifying and correcting what AI companies announce, without pay or credit. OpenAI's sponsorship was $1m in credits, and it took them back.
Reality
A disputed million-dollar proof and a public resignation at Anthropic landed a day apart. Gebru's answer to WIRED puts the weight on how fast a lab's claim reaches a lawmaker with no way to check it.
Reality
The Fields Medalists behind a new open letter accept that AI can speed up mathematics. Their objection is to solutions announced before anyone has had time to write them up properly or work out whose ideas they used.
Reality