Quarta-feira, 11 de novembro de 2026

O AGENTICO

o futuro, todo dia, num clique

Sebastien Bubeck
King of Hearts · CC BY-SA 4.0

Sebastien Bubeck

pessoa · 4 menções

O que as fontes disseram sobre Sebastien Bubeck

Segundo as fontes, Sebastien Bubeck, pesquisador da OpenAI, teria pedido a remoção de Alpöge como coautor de um trabalho por ele atuar na Anthropic, conforme acusação de Buckmaster. Em resposta, Bubeck e a OpenAI negaram as acusações, com Bubeck publicando mensagens que, segundo ele, mostram que ofereceu à equipe de Buckmaster a opção de publicar primeiro. As fontes também indicam que Bubeck afirmou que a prova apresentada pela OpenAI foi formalizada na linguagem Lean.

Citações

A formalização em Lean é um passo importante para garantir a validade da prova.

“And on Sunday morning we had the final solution, Lean-formalized, and everything.”

A formalização em Lean é um passo importante para garantir a validade da prova.

matemático e pesquisador de IA da OpenAI · ver em Wired (AI) ↗

Menções

  • OpenAI anuncia solução para problema de Navier-Stokes usando IA interna

    A OpenAI negou ter usado o trabalho de Buckmaster ou acessado material compartilhado, em pronunciamento de seu pesquisador Sébastien Bubeck.

    A negação é a resposta oficial da empresa às acusações, mas a controvérsia permanece.

    ver evento

  • Buckmaster acusa OpenAI de roubar prova de Navier-Stokes

    A OpenAI, Bubeck e o CEO Sam Altman negam as acusações de Buckmaster; Bubeck publicou mensagens que, segundo ele, provam que ofereceu à equipe de Buckmaster a opção de publicar primeiro.

    A empresa contra-ataca apresentando supostas provas de boa-fé, enquanto Buckmaster alega ter sido pressionado.

    ver evento

  • Buckmaster acusa OpenAI de roubar prova de Navier-Stokes

    A prova apresentada pela OpenAI foi formalizada em Lean, como indicou Sebastien Bubeck.

    A formalização em Lean é um passo importante para garantir a validade da prova.

    ver evento

  • Buckmaster acusa OpenAI de roubar prova de Navier-Stokes

    Buckmaster afirma que Bubeck, da OpenAI, pediu que Alpöge fosse removido como coautor por trabalhar na Anthropic.

    A disputa envolve conflito de interesses entre empresas de IA e ética na autoria científica.

    ver evento

Todo dia, só o que dois veículos independentes confirmaram — no seu feed.

Siga @oagentico →