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 ...
An OpenAI chatbot has solved a decades-old geometry problem, earning praise from mathematicians for what they called a “clever” and “elegant” approach. The company behind ChatGPT announced Wednesday ...