A OpenAI revelou que desenvolveu um novo modelo de raciocínio capaz de resolver um problema matemático que permaneceu sem solução por 80 anos. Este avanço refuta uma conhecida conjectura de geometria formulada por Paul Erdős em 1946. Anteriormente, Kevin Weil, ex-executivo da OpenAI, havia mencionado que o GPT-5 tinha encontrado soluções para problemas não resolvidos de Erdős, mas foi constatado que essas soluções já estavam documentadas na literatura. Desta vez, a OpenAI afirma que esta é a primeira instância em que uma inteligência artificial conseguiu resolver de forma autônoma um problema matemático significativo que estava em aberto.
