OpenAI anuncia três novas descobertas da IA em matemática, ciência da computação e física

A OpenAI afirma que seus modelos produziram três resultados novos: uma prova da conjectura de suavização local em todas as dimensões, que também resolveria as conjecturas de Kakeya e de restrição de Stein; uma prova verificada em Lean de que a hipótese do tempo exponencial é falsa; e uma prova de existência matematicamente rigorosa para a cromodinâmica quântica e uma compleção unificada do modelo padrão, incluindo a teoria pura de Yang-Mills. Os textos de matemática e informática e as formalizações em Lean são públicos, enquanto os artefatos de física estão retidos pelo seu grupo de colaboração externa, que redigirá o trabalho por conta própria. Isso importa porque, se as afirmações resistirem ao escrutínio independente, seria um momento histórico para a ciência impulsionada pela IA, mas por enquanto continuam sendo afirmações da OpenAI em revisão por especialistas externos, não resultados confirmados de forma independente.

• Sam Altman2026-10-26 21:36