OpenAI anuncia três descobertas científicas; especialistas verificarão resultados

A OpenAI anunciou três descobertas científicas que atribui a seus modelos de inteligência artificial (IA), envolvendo matemática , ciência da computação e física .

Entre as alegações estão provas que resolveriam conjecturas matemáticas de longa data, a refutação de uma hipótese importante sobre os limites da computação e um avanço teórico relacionado à física de partículas.

Desta vez, a empresa também apresentou nova estratégia para envolver pesquisadores independentes na análise dos resultados.

A proposta surge após críticas à forma como a OpenAI divulgou centenas de trabalhos matemáticos gerados por IA no início de outubro.

Os três casos terão abordagens diferentes.

Na matemática, a empresa publicou diretamente o material produzido pelo modelo.

Em ciência da computação, disponibilizou a prova e organizou um grupo externo para examiná-la.

Já na física, os especialistas responsáveis decidiram preparar o trabalho antes de divulgar os materiais gerados pela IA.

A OpenAI afirma que os resultados ainda precisam ser transformados em conhecimento científico compreensível e verificável.

Portanto, as descobertas anunciadas pela empresa não devem ser tratadas como conclusões definitivamente estabelecidas pela comunidade acadêmica.

IA afirma ter resolvido problemas matemáticos de longa data O resultado matemático envolve a chamada conjectura de suavização local, proposta em 1991 e relacionada ao comportamento de ondas e à concentração de energia ao longo do tempo; Segundo a OpenAI, seus modelos produziram prova válida em todas as dimensões espaciais a partir de duas.

A empresa afirma que o resultado também resolve, em todas as dimensões, a conjectura de Kakeya e a conjectura de restrição de Stein, problemas importantes da análise matemática; A demonstração utiliza uma equação diferencial parcial auxiliar.

A OpenAI disponibilizou tanto o texto da prova produzido pelo modelo quanto uma versão formalizada em Lean, linguagem usada para expressar demonstrações matemáticas de maneira verificável por computador; A divulgação ocorre poucas semanas depois de a empresa publicar centenas de manuscritos com soluções matemáticas atribuídas à IA.

Na ocasião, pesquisadores questionaram se os materiais ofereciam explicações suficientes para que outros cientistas compreendessem, verificassem e desenvolvessem os resultados.