20:28
2026-05-20
techcrunch.com
artificial-intelligence
OpenAI claims it solved an 80-year-old math problem β for real this time
OpenAI claims its new general-purpose reasoning model has produced an original mathematical proof disproving a famous unsolved geometry conjecture first posed by Paul ErdΕs in 1946, marking what the cβ¦