OpenAI model disproves 80-year-old Erdos conjecture

openai employed a new, unreleased reasoning model to discover a counterexample disproving a conjecture in discrete geometry proposed by paul erdos 80 years ago. the model utilized extensive chain-of-thought reasoning to systematically apply techniques in search of evidence the conjecture was false, a path human mathematicians had largely avoided due to a bias that the conjecture was true. professional mathematicians reviewed the model's extensive output to identify the specific counterexample and reformulate it into a standard proof. while the result demonstrates the model's ability to persist through tedious logical paths, the specific process is likely too expensive for widespread practical application.