OpenAI abre três afirmações de pesquisa em IA para exame acadêmico
aiinsider ·
A OpenAI submeteu três afirmações de pesquisa geradas por IA nas áreas de matemática, ciência da computação e física para revisão acadêmica independente. A iniciativa visa determinar como os cientistas podem verificar se o raciocínio da IA apoia descobertas genuinamente novas, em vez de apenas produzir respostas convincentes. Na área de computação, especialistas, incluindo Ryan Williams, examinarão uma afirmação de que a Hipótese do Tempo Exponencial é refutada. Matemáticos avaliarão uma prova sobre a conjectura do suavizamento local, que aborda o comportamento das ondas em diferentes dimensões. Físicos liderados por David Gross avaliarão provas de existência alegadas para teorias de campo quântico, como a cromodinâmica quântica. Para apoiar a verificação, a OpenAI forneceu provas matemáticas verificadas usando o software Lean, que garante rigor lógico. Embora esses esforços forneçam evidências mais sólidas do que explicações padrão, os pesquisadores ainda devem interpretar os resultados e suas implicações mais amplas.
aiinsider