GoKawiilMathematicians propose norms for releasing AI-generated proofs
A group of mathematicians published recommendations for how AI labs should responsibly share mathematical results generated by their models, after collecting over 600 responses from the mathematical community. The recommendations call on labs to stop testing advanced mathematical problems on proprietary models that remain inaccessible to outside researchers.