The original version of this story appeared in Quanta Magazine. In 1974, five years before he wrote his Pulitzer Prize–winning book Gödel, Escher, Bach: An Eternal Golden Braid, Douglas Hofstadter was ...

In difficult mathematical problems, reaching the answer itself has historically taken a long time. One must find a single path among numerous possibilities, choosing which theorems to use, which ...

What happens when things combine? This question lies at the heart of the Borell-Brascamp-Lieb inequality (BBL), a mathematical relation widely applied across many fields of mathematics, science and ...

VUB's Data Analytics Lab has published new results showing that it is possible to develop original mathematical proofs using commercial language models. In a paper posted to the arXiv preprint server, ...

Years ago, an audacious Fields medalist outlined a sweeping program that, he claimed, could be used to resolve a major problem in algebraic geometry. Other mathematicians had their doubts. Now he says ...

A mathematical proof has finally debunked the idea that we live in a simulation, according to a group of international researchers. The theory that the universe could be a computer programme has been ...

Since the start of the 20th century, the heart of mathematics has been the proof — a rigorous, logical argument for whether a given statement is true or false. Mathematicians’ careers are measured by ...

The Langlands program has inspired and befuddled mathematicians for more than 50 years. A major advance has now opened up new worlds for them to explore One of the biggest stories in science has been ...