OpenAI's math breakthroughs reignite AI-proof authorship debate

An unreleased OpenAI model reportedly made progress on ten open math problems — some unresolved for 48 years — at a total inference cost around $2,000. Results included high-dimensional sphere packing and a nonsofic-groups counterexample, sparking debate over whether credit belongs to the model or the researchers.