RT de Dan Roberts: Anunciamos três novas descobertas em matemática, ciência da computação e física sobre análise harmônica, teoria da complexidade e …

A OpenAI afirma que seus modelos internos produziram três resultados: uma prova da conjectura de suavização local em todas as dimensões, que também resolve as conjecturas de Kakeya e de restrição de Stein; uma refutação da hipótese do tempo exponencial verificada em Lean; e uma prova rigorosa de existência para a teoria de Yang-Mills e a cromodinâmica quântica. Os resultados foram formalizados em Lean e entregues a grupos externos de especialistas, incluindo um grupo de física liderado pelo Nobel David Gross, para examiná-los e explicá-los. Se se confirmarem, resolveriam problemas abertos há décadas, incluindo parte de um problema do Prêmio do Milênio, e marcariam a passagem da IA de assistir para produzir matemática e física de fronteira.

• OpenAI2026-10-26 21:36