Really big stuff on the AI-math-pocalypse beat on @sciam.bsky.social
OpenAI's latest math dump has arrived. It consists of hundreds of new results to important problems, from the same internal model that produced a million-dollar math proof last month. It could take mathematicians years to sift through it all.