Buckmaster acusa OpenAI de roubar prova de Navier-Stokes

08 de setembro de 2026 · 7 fontes independentes

Tristan Buckmaster acusa a OpenAI de tê-lo pressionado após ele e Levent Alpöge fazerem progresso nas equações de Navier-Stokes, incluindo a tentativa de remover Alpöge como coautor.

A acusação envolve apropriação de crédito e pressão indevida em pesquisa matemática.

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.

A OpenAI afirma que desenvolveu uma prova das equações de Navier-Stokes usando modelos de IA, com custo de computação na casa dos milhões de dólares.

O feito mostraria o poder da IA para avançar a matemática, mas é contestado por acadêmicos.

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.

Buckmaster afirma ter sido ameaçado por Bubeck com a pergunta: 'Por que você arruinaria sua carreira?'.

A frase indica pressão direta sobre o pesquisador para ceder às exigências da OpenAI.

Confirmado por

  • Decrypt
  • Gizmodo
  • Simon Willison's Weblog
  • TechCrunch (AI)
  • The Decoder
  • Tom's Hardware
  • Wired (AI)
Ler no O agêntico