
After OpenAI's proof dump, mathematicians' job shifts from solving to understanding
Computer scientist Scott Aaronson argues AI's solution of hundreds of open problems cannot be undone, pitting mathematics' ideal of open participation against grief over lost careers and unreviewed proofs.





