Fundador da Cardano analisa a descoberta matemática da OpenAI

O fundador da Cardano, Charles Hoskinson, disse no dia 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 afirma que cerca de 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 a possibilidade de 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 para 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 pela crypto.news, Hoskinson defendeu os 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 no dia 8 de setembro. A empresa disse que um modelo interno coordenou cerca de 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 da OpenAI e a prova formal 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ça externa 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ça.

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 é disponibilizado apenas para fins informativos gerais e não constitui aconselhamento financeiro, de investimento, jurídico ou fiscal. Quaisquer eventos, recompensas, promoções online ou informações relacionadas aqui mencionados não devem ser interpretados como uma recomendação, solicitação ou convite para comprar, vender, negociar ou realizar quaisquer outras operações com criptoativos. Os criptoativos são altamente voláteis e podem resultar em perdas. A disponibilidade dos serviços, produtos e eventos relacionados da WEEX pode variar consoante a região. O utilizador é responsável por garantir que a sua participação está em conformidade com a legislação e os regulamentos locais aplicáveis.