standard
Statement from a working group of mathematicians on how machine-generated proofs change their work, with recommendations addressed to mathematicians, institutions and policymakers.
The signatories say solutions announced in a rush arrive with no proper write-up and no citation of prior work, leaving the mathematicians who have to check them unnamed. OpenAI pulled a CalTech sponsorship on Thursday.
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