OpenAI Solves 370 Math Problems in Single Day, Aaronson Calls Historic

OpenAI published complete and partial solutions to 370 open problems in mathematics, a development mathematician Scott Aaronson describes as one of the greatest days in the field's history. The scope and accuracy of the solutions remain unverified, but if confirmed, this marks a step-change in AI's capability for formal reasoning and could accelerate research across mathematics and related sciences.