← Voltar às Notícias

Tags: Proof

OpenAI afirma que seu novo modelo de raciocínio desmente conjectura de Erdős de 80 anos

OpenAI afirma que seu novo modelo de raciocínio desmente conjectura de Erdős de 80 anos
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. Ler mais