OpenAI claims it solved an 80-year-old math problem — for real this time
OpenAI claims its new reasoning model has solved an 80-year-old math problem in geometry, disproving a famous unsolved conjecture first posed by Paul Erdős in 1946. The company has published companion remarks from mathematicians in support of the disproof, marking a significant milestone in AI's ability to autonomously solve complex mathematical problems. This breakthrough has implications for various fields, including biology, physics, engineering, and medicine.