An artificial intelligence (AI) model has solved an 80-year-old math problem in a feat hailed as a major milestone for AI's mathematical ability. The planar unit distance problem, first posed by ...

OpenAI claims its model solved a famous geometry problem that has eluded the world’s greatest mathematicians for 80 years — a breakthrough hailed as evidence of the bot’s creativity and “intuition.” ...

After 80 years of fruitless struggle by human mathematicians, a major geometry conjecture has at last been solved—via a straightforward query to a chatbot. “No previous AI-generated proof has come ...