An OpenAI AI model has solved a 50-year-old unsolved mathematical problem. Ethan Knight, a researcher at the company, ...

Forbes contributors publish independent expert analyses and insights. Anisha Sircar is a journalist covering tech, finance and society. This voice experience is generated by AI. Learn more. This voice ...

Grok 4.5 constructed a counterexample proving hypercontractivity fails on the 4-sphere, closing a decades-old gap in ...

After 80 years of fruitless struggle by human mathematicians, a major geometry conjecture has at last been solved—via a straightforward query to a chatbot. “No previous AI-generated proof has come ...

Math classrooms shifted over time to the discovery model. Not suddenly, and not without good intentions. There was a ...

Bitcoin miners don't solve complex math problems - they guess numbers. While "solving mathematical puzzles" has become a common description of bitcoin mining, the process more closely resembles a ...