A OpenAI anunciou descobertas científicas que podem redefinir a complexidade computacional, ao refutar uma premissa fundamental utilizada em centenas de estudos académicos.
A comunidade científica internacional foi surpreendida a 26 de outubro de 2026 com um anúncio da OpenAI que promete abalar os alicerces da ciência da computação teórica. A organização revelou que os seus modelos internos de investigação alcançaram três descobertas inéditas, sendo a mais disruptiva a refutação da Hipótese do Tempo Exponencial (ETH, na sigla em inglês).
Esta hipótese tem servido, durante décadas, como a pedra angular para estabelecer limites de desempenho em algoritmos. Centenas de artigos científicos basearam as suas premissas na ideia de que certos problemas computacionais seriam inerentemente difíceis de resolver de forma eficiente. Ao demonstrar que esta premissa pode estar errada, a OpenAI abre um debate sobre a validade de vastos campos da investigação matemática e computacional que assumiram a ETH como uma verdade absoluta.
O resultado baseia-se num algoritmo determinístico que, segundo a OpenAI, consegue contar atribuições satisfatíveis de fórmulas CNF de largura fixa em tempo polinomial. Se validada por especialistas externos — um processo que já está em curso —, esta descoberta poderá permitir a resolução de problemas que, até à data, eram considerados intratáveis. Na prática, isto significa que algoritmos de otimização, criptografia e logística poderão sofrer uma revolução na sua eficiência.
Além da computação, a OpenAI reportou avanços significativos na física teórica, incluindo uma prova rigorosa da existência de teorias quânticas de campo em quatro dimensões, como a cromodinâmica quântica. Estes resultados representam um salto qualitativo na forma como a inteligência computacional pode ser aplicada para resolver problemas complexos que escapavam à intuição humana.
A divulgação, ocorrida a 27 de outubro de 2026, não está isenta de polémica. A comunidade académica tem reagido com uma mistura de entusiasmo e cautela. A questão central reside na transparência: sendo descobertas geradas por modelos proprietários, a verificação independente torna-se um desafio logístico e técnico. Especialistas em teoria da complexidade questionam se a prova apresentada é robusta o suficiente para derrubar uma hipótese que sustenta a estrutura de tantos outros teoremas.
Em Portugal, investigadores da área da computação e física teórica acompanham o desenvolvimento com expectativa. O debate público foca-se agora na necessidade de democratizar o acesso a estas ferramentas de descoberta científica, evitando que o progresso fique confinado a laboratórios privados. A questão que se coloca é: estamos perante uma nova era de descoberta científica acelerada ou perante um erro de interpretação de modelos que, por vezes, podem apresentar resultados convincentes mas incorretos?
Nos próximos meses, a comunidade científica global irá submeter estes resultados a um escrutínio rigoroso. Se a refutação da ETH for confirmada, teremos de reescrever partes significativas dos manuais de ciência da computação. O impacto será sentido não apenas na academia, mas em todas as indústrias que dependem de processamento de dados em larga escala. A OpenAI comprometeu-se a entregar a revisão a especialistas externos, um passo essencial para garantir a credibilidade destas descobertas que, a confirmarem-se, marcarão o ano de 2026 como um ponto de viragem na história da ciência.
Continuar a ler
Uma nova ferramenta de software desenvolvida por investigadores internacionais, com forte contributo de equipas lusófonas, promete democratizar a análise de sequenciação de células únicas, removendo barreiras técnicas para cientistas sem formação em programação.
A intervenção das autoridades para desmantelar acampamentos de protesto em Lisboa e Porto gerou uma onda de indignação, levando a Provedora de Justiça a exigir esclarecimentos sobre a proporcionalidade da força utilizada.
O elevado índice de não comparência dos utentes às consultas e exames agendados está a comprometer a eficiência do sistema público de saúde, gerando um debate sobre a necessidade de penalizações ou sistemas de confirmação mais rigorosos.