OpenAI Gave Its New Model 4,000 Unsolved Math Problems
Math tests have been the benchmark method for testing the capabilities of AI models like ChatGPT and Claude. OpenAI says its models are now performing so well that existing math tests are becoming less useful. So researchers tried something harder. They gave an unreleased model around 4,000 unsolved math problems. The results were surprising and concerning. Sponsored Sponsored The AI produced 722 manuscripts, grouped into 372 families of related results. OpenAI says each result used about three hours of reasoning compute on average. “Some pretty exciting days ahead for the mathematical community!” said Stefano Gogioso, a member of BeInCryptos Future Tech and AI Experts Council Is AI Becoming Too Powerful Too Fast? This is the bigger story. Frontier AI is beginning to move beyond answering known questions and into generating possible answers to unknown ones. That could sharply increase how much intellectual work a researcher, engineer or analyst can attempt. But output is not truth. Many of OpenAIs papers have computer-checkable Lean proofs. Others do not. OpenAI warns that some unverified results “could have issues.” That creates a new bottleneck: humans may struggle to check research as quickly as AI can produce it. Sponsored Sponsored Were releasing a broad range of new mathematical results produced by an internal frontier model. Weve been consulting









