LLMs have recently helped find solutions to a number of minor longstanding problems. But a new plan called First Proof is really putting them to the test ...

Plenty of our childhoods had at least one math teacher who made the (ultimately erroneous) claim that we needed to learn to do math because we wouldn’t always have a calculator in our ...

The race is on to develop an artificial intelligence that can do pure mathematics, and top mathematicians just threw down the ...

Imagine that you want to know the most efficient way to make a torus—a doughnut-shaped mathematical object—from origami paper. Instead of seeming almost perfectly smooth, the torus that you envision ...

Frustrated by the AI industry’s claims of proving math results without offering transparency, a team of leading academics has ...

AxiomProver solved a real open math conjecture using formal verification, signaling a shift from AI that assists research to AI that discovers new truths.