RespostasPublicado25 fontes
OpenAI e Anthropic anunciam provas feitas por IA; especialistas ainda precisam confirmar os resultados
Em 26 de outubro de 2026, a OpenAI anunciou três resultados atribuídos a seus modelos; horas depois, a Anthropic divulgou uma alegação concorrente sobre a hipótese ETH. Dois manuscritos matemáticos da OpenAI e suas formalizações em Lean foram publicados, mas as alegações ainda não tinham confirmação independente; os...
Publicado porEditado com GPT-6 LunaImagens geradas com GPT Image 2
Resposta de pesquisa
Principais conclusões
- Em 26 de outubro de 2026, a OpenAI anunciou três resultados atribuídos a seus modelos; horas depois, a Anthropic divulgou uma alegação concorrente sobre a hipótese ETH.
- Dois manuscritos matemáticos da OpenAI e suas formalizações em Lean foram publicados, mas as alegações ainda não tinham confirmação independente; os materiais de física continuavam retidos.
Prompt de IA
openai.comCreate a landscape editorial hero image for this Studio Global article: What did OpenAI and Anthropic claim their internal AI models achieved on October 26, 2026, and how do these unreviewed claims, their signifi. Article summary: On October 26, 2026, OpenAI claimed that its internal models had produced breakthroughs in harmonic analysis, computational complexity, and quantum field theory; Anthropic announced a competing claimed refutation of the . Topic tags: general, general web. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, charts with fake numbers, clic
Em 26 de outubro de 2026, a OpenAI afirmou que seus modelos internos produziram resultados em análise harmônica, complexidade computacional e teoria quântica de campos. Horas depois, a Anthropic anunciou uma alegação concorrente: uma refutação da Hipótese do Tempo Exponencial (ETH, na sigla em inglês). As afirmações chamaram atenção pelo possível impacto para além da inteligência artificial, mas ainda não haviam sido confirmadas de forma independente. 2
3
7
O que a OpenAI afirmou
Uma prova sobre equações de ondas. No repositório público da empresa há um manuscrito e uma formalização em Lean — uma ferramenta que permite expressar e verificar provas matemáticas formalmente — intitulados Local smoothing for the Euclidean wave equation. Segundo a descrição, o trabalho estabelece a conjectura de suavização local de Sogge para ondas em todas as dimensões espaciais iguais ou superiores a dois. A OpenAI também afirma que o resultado implica as conjecturas maximal e de dimensão de Kakeya, além de estimativas esféricas de restrição de Stein no interior do intervalo conjecturado. 17 Uma reportagem situa a origem da conjectura de Sogge em 1991.
6 Isso não equivale a dizer que todas as versões da conjectura de restrição de Stein foram resolvidas.
Uma refutação da ETH. A OpenAI disse que seu modelo encontrou uma refutação da ETH, conjectura sobre a dificuldade computacional de problemas de satisfatibilidade de fórmulas booleanas. A hipótese é usada como base para resultados condicionais em diversos trabalhos de ciência da computação. 13 Segundo reportagens, o modelo chegou ao resultado em 16 de outubro, e a prova foi formalizada em Lean no dia seguinte.
32 O repositório público da empresa lista um manuscrito chamado The Exponential Time Hypothesis is False.
17
Se estiver correta, a refutação pode alterar o status de resultados que dependem da ETH. Mas um algoritmo subexponencial não é necessariamente polinomial: 2^√n, por exemplo, é subexponencial em n, mas cresce mais rápido do que qualquer polinômio fixo. Portanto, mesmo um algoritmo válido de tempo 2^o(n) para 3-SAT refutaria a ETH sem, por si só, provar que P = NP. As questões têm relação, mas não são equivalentes. 13
33
Um resultado de existência em física. A OpenAI também alegou ter produzido uma prova matemática rigorosa da existência de certas teorias quânticas de campos interagentes em quatro dimensões, incluindo a cromodinâmica quântica (QCD). 1 As reportagens descrevem a alegação como um resultado de existência; elas não mostram que o problema mais amplo de Yang–Mills, do Prêmio Millennium — que inclui a questão do gap de massa — tenha sido resolvido.
1
16
A alegação concorrente da Anthropic
Pouco depois, a Anthropic apresentou sua própria alegação de refutação da ETH. Uma reportagem identificou o artigo como A 2^o(n) Time Algorithm for 3-SAT e atribuiu a autoria a Claude. Também relatou que o matemático da empresa Levent Alpöge disse que o algoritmo central foi encontrado em 16 de outubro “sem intervenção humana”; depois, pesquisadores trabalharam com Claude na apresentação do artigo. 9
33 Esses detalhes são relatos sobre a origem do trabalho, não uma confirmação independente da prova.
O intervalo curto entre os anúncios chama atenção: segundo as reportagens, os dois laboratórios situaram seus resultados centrais sobre a ETH em 16 de outubro. 9
32 A revisão planejada pela OpenAI envolveria Russell Impagliazzo, Ramamohan Paturi e Ryan Williams, de acordo com informações sobre o grupo externo.
20 Mas a questão principal não é qual empresa anunciou primeiro: é se especialistas independentes conseguem verificar a prova e confirmar o que ela demonstra. As reportagens disponíveis indicavam que essa análise ainda não havia sido concluída.
3
5
33
Divulgação, revisão e transparência
A OpenAI descreveu os manuscritos gerados por IA como “dados brutos de pesquisa” que acadêmicos de fora da empresa ajudariam a transformar em compreensão científica. 2
11 A companhia publicou no repositório público os manuscritos de suavização local e da ETH, acompanhados de formalizações em Lean.
17 Já o grupo de física reteve os materiais produzidos pela IA enquanto preparava seu próprio relato; David Gross foi citado entre os especialistas externos ligados a esse trabalho.
11
32
Também houve questionamentos sobre a transparência de divulgações anteriores da OpenAI. Uma reportagem resumida pelo AI Edge Briefing afirmou que 10 dos 719 manuscritos publicados incluíam a cadeia de raciocínio do modelo e que não foram fornecidos metadados legíveis por máquina para relacionar os textos em linguagem natural aos artefatos formais. 18 Esse contexto é relevante para avaliar as práticas de divulgação, mas não confirma, por si só, todas as críticas feitas aos anúncios de 26 de outubro.
A distinção essencial é entre uma alegação de pesquisa impressionante e um resultado verificado. A OpenAI tornou duas alegações matemáticas acessíveis por meio de manuscritos e artefatos em Lean, enquanto os materiais de física permaneciam inéditos no processo de revisão relatado. A Anthropic apresentou uma alegação concorrente sobre a ETH e um relato de como seu modelo teria contribuído. Até que especialistas independentes examinem as provas e confirmem o que elas demonstram, os anúncios das duas empresas não devem ser tratados como descobertas científicas estabelecidas. 3
11
17
33
Studio Global AI
Continue sua pesquisa
Esta página inclui uma resposta baseada na fonte que você pode continuar em Studio Global.
As pessoas também perguntam
Qual é a resposta curta para "OpenAI e Anthropic anunciam provas feitas por IA; especialistas ainda precisam confirmar os resultados"?
Em 26 de outubro de 2026, a OpenAI anunciou três resultados atribuídos a seus modelos; horas depois, a Anthropic divulgou uma alegação concorrente sobre a hipótese ETH.
Quais são os pontos-chave para validar primeiro?
Em 26 de outubro de 2026, a OpenAI anunciou três resultados atribuídos a seus modelos; horas depois, a Anthropic divulgou uma alegação concorrente sobre a hipótese ETH. Dois manuscritos matemáticos da OpenAI e suas formalizações em Lean foram publicados, mas as alegações ainda não tinham confirmação independente; os materiais de física continuavam retidos.