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.

Polyhedra are three-dimensional shapes made from flat polygonal faces and straight edges. Cubes, pyramids and octahedrons are ...

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...

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

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

Connor Hill won the 2026 Regeneron Science Talent Search after using a computer program to solve a long-standing geometry problem. His proof identified exactly 146 isolated noble polyhedra, settling a ...

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

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 revealed Astra, its next major model, by publishing ten proofs of problems open for a decade or more. The total inference cost was about $2,000.