First Proof is an effort to see whether LLMs can contribute meaningfully to pure mathematics research. The dust has settled on round one, and the results are surprising ...

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

Mathematicians and physicists often boast about their ‘Erdős number’, defined by their degrees of separation from him in ...

More than a century before quantum mechanics was born, Irish mathematician William Rowan Hamilton stumbled onto an idea that would quietly foreshadow one of the deepest truths in physics. While ...