An 80-year-old challenge in geometry has been cracked by an artificial-intelligence chatbot after a single prompt from mathematicians at the technology firm OpenAI. The company, based in San Francisco ...

OpenAI says an AI reasoning model disproved an 80-year-old Erdős geometry conjecture, raising new questions about AI’s role ...

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

OpenAI has revealed a breakthrough proof that overturns a nearly 80-year-old geometry conjecture posed by Paul Erdős.

Mathematicians have stumped the most advanced generative artificial intelligence (AI) models with a series of mind-bending new math problems. These problems typically require doctorate-level ...

Geometry may come from navigation skills shared with animals, while human language allows those spatial abilities to become ...

Researchers at DeepMind, the artificial intelligence research division of Alphabet Inc., have created software that’s able to solve difficult geometry proofs that are often used to test the brightest ...