OpenAI pede a especialistas externos, incluindo um laureado com o Nobel, para verificar as provas produzidas por sua IA
decoder ·
A OpenAI contratou especialistas externos, incluindo um laureado com o Nobel, para verificar provas geradas por seus modelos de IA em matemática, ciência da computação e física. Em ciência da computação, a IA afirma ter refutado a Hipótese do Tempo Exponencial, o que desafiaria pressupostos fundamentais sobre a complexidade de problemas e poderia impactar solucionadores SAT. Um resultado matemático separado aborda a conjectura de suavização local para ondas em todas as dimensões, o que também implica soluções para as conjecturas de Kakeya e Stein. Em física, a IA afirma ter provado a existência matemática da teoria de Yang-Mills em quatro dimensões, abordando parte de um Problema do Prêmio Millennium, mas não a lacuna de massa associada. Cada campo está sendo revisado por diferentes grupos de especialistas, com a OpenAI fornecendo dados brutos e traduções em Lean para facilitar a verificação independente. A empresa enfatiza que não busca crédito científico, visando apoiar a revisão por pares rigorosa por meio de financiamento e transparência. Esta iniciativa segue controvérsias anteriores, levando a OpenAI a adotar uma abordagem mais cautelosa quanto à atribuição e validação de descobertas geradas por IA.
decoder