OpenAI announced that a general‑purpose reasoning model has produced an original proof that overturns a geometry conjecture posed by Paul Erdős in 1946. The company says the breakthrough demonstrates AI’s ability to carry out long, complex chains of reasoning without being tailored for mathematics, a claim that draws both praise from several mathematicians and skepticism after a previous, premature claim by a former OpenAI executive.
Weiterlesen