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

Michael Freedman’s momentous 1981 proof of the four-dimensional Poincaré conjecture was on the verge of being lost. The editors of a new book are trying to save it. One of the most important pieces of ...

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