By encoding mathematical statements into numbers, mathematician Kurt Gödel used ordinary arithmetic to check whether a ...

Then it’s kind of a mystery to try to figure out why and how they’re related.” The Riemann hypothesis has proved to be a font of surprising connections all over math and beyond it, to the realm of the ...

By listening to recordings of students solving math problems, teachers can determine their next steps, such as how to pair ...

P vs. NP asks: are these two classes actually the same? If P = NP, then every “hard” problem is secretly fast to solve; we ...

A general-purpose reasoning model, not a math-trained system, produced a new family of point configurations that broke Paul ...

The closest the field has come to solving the planar unit distance problem, first proposed in the 1940s, was in 1984. Now, OpenAI claims an internal model has cracked the puzzle.

OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who ...

Apple says testing missed flaws in new encryption designed to protect against future attacks from quantum computers, so it ...

Ultrafinitism, a philosophy that rejects the infinite, has long been dismissed as mathematical heresy. But it is also producing new insights in math and beyond. His two theorems destroyed the search ...

Artificial intelligence built by OpenAI has cracked a decades-old conjecture by Paul Erdős, which mathematicians have hailed ...

In a new open-access study that I published with my late colleague Kostya Trachenko from Queen Mary University of London, I propose a surprisingly simple nonlinear mathematical equation that unifies ...

Zach began writing for CNET in November, 2021 after writing for a broadcast news station in his hometown, Cincinnati, for five years. You can usually find him reading and drinking coffee or watching a ...