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

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

OpenAI makes big splash with AI finding math problem breakthrough. Real lesson is to use AI to find counterexamples. An AI ...

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