“`html
OpenAI has claimed 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 earlier claims made by the company’s former VP Kevin Weil, who initially posited that GPT-5 had solved “10 (!) previously unsolved Erdős problems.” However, subsequent investigations revealed these were not new solutions but rather existing ones found in the literature.
- This marks the first time AI has autonomously solved a prominent open problem central to a field of mathematics.
- The proof came from a new general-purpose reasoning model, not a system specifically designed for solving math problems or this particular conjecture.
- OpenAI asserts that this breakthrough means AI systems are now capable of more complex and interdisciplinary reasoning, potentially leading to discoveries in various fields such as biology, physics, engineering, and medicine.
“`
“`plaintext
– This marks the first time AI has autonomously solved a prominent open problem central to a field of mathematics.
– The proof came from a new general-purpose reasoning model, not a system specifically designed for solving math problems or this particular conjecture.
– OpenAI asserts that this breakthrough means AI systems are now capable of more complex and interdisciplinary reasoning, potentially leading to discoveries in various fields such as biology, physics, engineering, and medicine.
“`
Stay ahead of AI. Get the most important stories delivered to your inbox — no spam, no noise.
