Fundador da Cardano avalia a descoberta matemática da OpenAI

O fundador da Cardano, Charles Hoskinson, disse em 9 de setembro que a inteligência artificial avançou mais na matemática formal do que ele esperava.

Hoskinson afirmou que o progresso matemático da inteligência artificial superou consideravelmente suas expectativas anteriores publicamente.

A OpenAI diz que aproximadamente 10.000 agentes produziram uma solução para as equações de Navier-Stokes em 88 horas de trabalho total.

A Clay ainda classifica as equações de Navier-Stokes como não resolvidas, aguardando publicação, revisão e ampla aceitação matemática mundial hoje.

Hoskinson levantou preocupações sobre a confidencialidade para pesquisadores que inserem trabalhos não publicados em sistemas de IA centralizados na nuvem.

A OpenAI negou ter acessado trabalhos privados, mas não pôde excluir que dados de uso desidentificados influenciassem melhorias no modelo.

Seus comentários seguiram a afirmação da OpenAI de que um sistema interno produziu uma solução para o Problema do Prêmio Millennium de Navier-Stokes.

Durante uma transmissão, Hoskinson chamou as capacidades relatadas de "bastante notáveis". No entanto, ele também abordou questões não resolvidas sobre a origem do trabalho e a privacidade da pesquisa submetida a serviços de IA baseados na nuvem.

Hoskinson disse que originalmente esperava que sistemas formais ajudassem equipes maiores de matemáticos a colaborar e verificar provas escritas por humanos. Ele não esperava que grandes modelos de linguagem gerassem provas completas por conta própria tão cedo.

"Nunca antecipamos a extensão em que a IA entraria", disse Hoskinson. Ele acrescentou que a ideia de a IA escrever completamente uma prova havia parecido anteriormente "bastante distante".

Hoskinson tem uma conexão direta com a pesquisa em matemática formal. Em 2021, ele doou 20 milhões de dólares para a Universidade Carnegie Mellon para estabelecer o Centro Hoskinson de Matemática Formal, de acordo com o anúncio da universidade.

Seus comentários mais recentes também se encaixam na experimentação mais ampla da Cardano com inteligência artificial. Como relatado anteriormente pelo crypto.news, Hoskinson defendeu experimentos com agentes de IA da Cardano envolvendo comunicações, atividade comunitária e o ecossistema focado em privacidade Midnight.

A OpenAI publicou sua pesquisa em 8 de setembro. A empresa disse que um modelo interno coordenou aproximadamente 10.000 agentes e produziu uma solução proposta após 88 horas. O GPT-6 Astra então passou mais 17 horas formalizando e verificando o argumento em Lean.

A prova tenta estabelecer que um fluido inicialmente suave e estacionário pode desenvolver uma singularidade em tempo finito quando submetido a uma força externa suave. A OpenAI disse que isso satisfaz as declarações C e D na formulação oficial do Prêmio Millennium.

A empresa também lançou um artigo analítico e código Lean. Uma formalização Lean fornece verificação verificável por máquina de que os passos codificados seguem das suposições declaradas. Não estabelece independentemente que cada definição e suposição representa com precisão o problema matemático pretendido.

A OpenAI disse que não planeja buscar o prêmio associado de 1 milhão de dólares. No entanto, a empresa descreveu seu trabalho como uma resolução do problema.

O Instituto de Matemática Clay ainda rotula o problema de Navier-Stokes como "não resolvido". Seu site não havia reconhecido a prova proposta pela OpenAI como uma solução aceita no momento da reportagem.

A Clay não aceita soluções propostas por meio de submissões diretas. De acordo com suas regras, uma solução deve aparecer em uma publicação qualificada. Pelo menos dois anos devem passar, e o trabalho deve ganhar aceitação geral da comunidade matemática global.

Esse processo significa que o anúncio e a prova formal da OpenAI não constituem reconhecimento institucional imediato. Os matemáticos devem examinar se a construção satisfaz a declaração precisa do problema e se seu uso de forçamento externo responde à questão como comumente entendida.

O anúncio também atraiu escrutínio envolvendo o matemático da Universidade de Nova York, Tristan Buckmaster, e o pesquisador da Anthropic, Levent Alpöge. Os pesquisadores estavam trabalhando em um resultado relacionado à equação de Euler usando uma abordagem de forçamento.

Buckmaster questionou se o trabalho privado inserido no sistema Codex da OpenAI poderia ter contribuído para o resultado da empresa. Ele não chegou a alegar má conduta comprovada, dizendo: "Não sei se nossos dados foram usados".

A OpenAI negou ter acessado seu trabalho específico. No entanto, a empresa disse que não poderia descartar completamente a possibilidade de que dados desidentificados do uso de seu produto tivessem ajudado a melhorar seus modelos. A OpenAI manteve que sua prova foi desenvolvida de forma independente e difere do trabalho dos pesquisadores.

Hoskinson argumentou que a disputa deve preocupar os pesquisadores que lidam com ideias não publicadas. Ele disse que os acadêmicos que usam serviços de IA centralizados devem considerar se os prompts, notas e registros de pesquisa permanecem confidenciais.

A próxima fase envolverá a análise pública do artigo da OpenAI e da formalização Lean. Até que especialistas revisem as suposições e as condições formais da Clay sejam atendidas, o trabalho permanece uma solução reivindicada, em vez de uma resolução reconhecida.

Este conteúdo é fornecido apenas para fins informativos gerais e não constitui aconselhamento financeiro, de investimento, jurídico ou tributário. Quaisquer eventos, recompensas, promoções online ou informações relacionadas mencionadas neste documento não devem ser consideradas uma recomendação, solicitação ou convite para comprar, vender, negociar ou realizar qualquer outra transação com criptoativos. Criptoativos são altamente voláteis e podem resultar em perdas. A disponibilidade dos serviços, produtos e eventos relacionados da WEEX pode variar conforme a região. É de sua responsabilidade garantir que sua participação esteja em conformidade com as leis e regulamentações locais aplicáveis.