While more than 60 million people in the United States watched the FIFA World Cup final on July 19, an artificial intelligence model was hard at work solving—or technically, disproving—a decades-old ...

A long-standing mathematical conundrum has been solved by ChatGPT in a few hours, with only a few simple prompts. The Dinitz-Garg-Goemans conjecture is a 30-year-old question in graph theory, but a ...

A young mathematician teamed up with a new AI model to tackle one of the hardest open problems in mathematics, and the result is causing a stir among mathematicians and AI researchers on X. Levent ...

An Anthropic AI model, Claude Fable 5, helped disprove the 87-year-old Jacobian conjecture, a famous open problem in mathematics dating to 1939. The model produced a concrete counterexample that ...

There was a time when I was a big proponent of keywords in the middle school math classroom. I’m referring to when mathematics assessments primarily focused on computation, and it made sense to tell ...

A mathematician has cracked an 87-year-old conundrum with the help of AI and announced the solution unceremoniously in a tweet. The finding is the most difficult mathematical problem yet solved by AI, ...

A thread posted July 15 on the r/math subreddit claims that OpenAI’s GPT-5.6, guided by a carefully constructed prompt, produced a formal mathematical proof that closes a gap in convex optimization ...