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 ...

Neurosurgery researcher Jin Shanmu has very little formal education in mathematics but solved a major problem in linear ...

OpenAI’s Astra generates machine‑checkable proofs for ten decades‑old math problems, showing how verified AI can cut discovery costs to about two thousand dollars.

Artificial intelligence has been inching toward genuine mathematical discovery for years, but a claim from OpenAI in early ...

Bengaluru: If you are a mathematician, then you may want to take a seat before reading further—this is how Fields Medalist Timothy Gowers told the world about an OpenAI model having solved a problem ...

There’s a $1-million prize for proving the Riemann hypothesis. Claude couldn’t pull that off, but it made significant progress on a related problem ...

OpenAI claims its new reasoning model has produced an original mathematical proof disproving a famous unsolved conjecture in geometry, which was first posed by Paul Erdős in 1946. If this sounds ...

Katie has a PhD in maths, specializing in the intersection of dynamical systems and number theory. She reports on topics from maths and history to society and animals. Katie has a PhD in maths, ...

AI is now solving so many math problems that people have begun tracking data around these solutions. A site called Vibe Mathed ...

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 ...

There are plenty of dogs out there who know countless tricks. Some can let their humans know when they need to go potty, ...

Let’s start here: math’s most famous problem is no closer to being solved than it was a week ago. Neither humans nor artificial intelligence have made progress on the Riemann hypothesis. In a blog ...