Earlier this month OpenAI claimed one of its internal models had proved that the Navier-Stokes equations, which are used to ...

Days after its disputed Navier-Stokes claim, OpenAI says it's made "substantial progress" on another Millennium Prize math ...

Artificial intelligence has formally verified the prizewinning proof that solved the sphere packing problem in eight dimensions, a result closely tied to Maryna Viazovska’s Fields Medal. The ...

AI just solved one of the world’s hardest math problems.

Recently, two American high school students made headlines for discovering a new proof of the Pythagorean theorem. Calcea Johnson and Ne'Kiya Jackson, seniors at St. Mary's Academy in New Orleans, ...

The surprising real-world applications of high-dimensional sphere packing and the 48-year-old barrier that OpenAI just broke ...

A dispute over the solution to one of the hardest problems in mathematics highlights key questions about the data companies ...

For ages, countless mathematicians have advanced mathematics through proofs. This is because proof is a key tool for developing new theories and solving problems. That’s why a discussion about proofs ...

The same branch of mathematics that helped Einstein to formulate his theory of general relativity could now allow scientists to peer with unprecedented accuracy into impenetrable objects—such as the ...