Grouped story
OpenAI claims it solved an 80-year-old math problem — for real this time
OpenAI has announced that its new reasoning model has produced an original mathematical proof that disproves a famous unsolved conjecture in geometry, first posed by Paul Erdős in 1946. This follows a previous claim that was later retracted, but this time the announcement is bolstered by support from respected mathematicians, indicating a significant advancement in AI's capability to tackle complex mathematical problems.
Key points
OpenAI's reasoning model disproved a conjecture posed by Paul Erdős in 1946.
The proof was supported by mathematicians including Noga Alon and Melanie Wood.
This achievement demonstrates AI's ability to connect complex ideas across various fields.