OpenAI afirmou ter resolvido, de modo inovador, um problema matem\u00e1tico com 80 anos ao demonstrar que a conjectura de Erd\u0151s sobre dist\u00e2ncias unit\u00e1rias \u00e9 falsa. O feito envolve um modelo de racioc\u00ednio interno da empresa, ainda n\u00e3o liberado publicamente. A leitura inicial aponta que o modelo encontrou uma fam\u00edlia infinita de arranjos de pontos com mais pares a exatamente uma dist\u00e2ncia do que a melhor constru\u00e7\u00e3o conhecida at\u00e9 ent\u00e3o.<\/p>\n
A equipe n\u00e3o utiliza apenas t\u00e9cnicas tradicionais; a prova recorre a teoria alg\u00e9brica dos n\u00fameros e estruturas como torres de campos e a teoria de Golod-Shafarevich. Especialistas externos revisaram a evid\u00eancia, refor\u00e7ando a veracidade da constru\u00e7\u00e3o apresentada. A comunidade acad\u00eamica analisa o impacto dessa abordagem no rigor de demonstra\u00e7\u00f5es assistidas por IA.<\/p>\n
Detalhes da confirma\u00e7\u00e3o<\/strong><\/p>\n OpenAI disse que a prova veio de um modelo de racioc\u00ednio geral, n\u00e3o de um sistema espec\u00edfico para o problema. A demonstra\u00e7\u00e3o aponta que existem conjuntos de pontos com pelo menos n elevado a 1+\u03b4 pares em dist\u00e2ncia unit\u00e1ria, superando a cota anterior de Erd\u0151s, que era pr\u00f3xima de crescimento linear.<\/p>\n Relev\u00e2ncia e contexto<\/strong><\/p>\n Matem\u00e1ticos Princetoniano envolvido na discuss\u00e3o destacou que o resultado expande consideravelmente o conjunto de solu\u00e7\u00f5es poss\u00edveis e serve como refer\u00eancia para avalia\u00e7\u00f5es futuras de racioc\u00ednio assistido por IA. O epis\u00f3dio \u00e9 visto como um teste mais s\u00f3lido de capacidade de racioc\u00ednio da IA do que benchmarks tradicionais, que podem favorecer acasos.<\/p>\n","protected":false},"excerpt":{"rendered":"\n