A chatbot’s result for the 80-year-old “unit distance” conjecture is the first AI proof that would likely be published in ...

On May 20, OpenAI said an internal reasoning model had produced a counterexample to Paul Erdős’s 1946 unit distance ...

The last dimension of Keller's conjecture has been proven using a computer algorithm. The conjecture involves the way hypercubes in different dimensions share sides when tiled. The proof is ...

Hannah Cairo found herself stuck on a problem that wouldn’t leave her mind. It wasn’t a regular homework assignment—it was a decades-old mathematical puzzle believed to be true by leading experts in ...

Forbes contributors publish independent expert analyses and insights. Anisha Sircar is a journalist covering tech, finance and society. This voice experience is generated by AI. Learn more. This voice ...

A pair of mathematicians has solved the first chunk of one of the most famous conjectures about the additive properties of whole numbers. Proposed more than 60 years ago by the legendary Hungarian ...

Using AI and computer automation, researchers have developed a 'conjecture generator' that creates mathematical conjectures, which are considered to be the starting point for developing mathematical ...

A new approach has chipped away at a famously unsolved math problem. The Erdos-Turan conjecture in additive combinatorics is one of the longest lasting unsolved problems. The two mathematicians used ...

It’s an educated guess, not a proof. But a good conjecture will guide math forward, pointing the way into the mathematical unknown. Mountain climbing is a beloved metaphor for mathematical research.