OpenAI's Astra just solved ten open math problems—and the community is nervous

OpenAI released AI-generated solutions to decade-old open problems in math and CS. The results span sphere packing to cryptography—but the real story is friction with mathematicians.