O professor que respondeu à enxurrada de teoremas da OpenAI com um clipe musical
Atualizado:
Em 10 de outubro de 2026, Joshua B. Plotkin — professor titular da cátedra Annenberg de Ciências Naturais na Universidade da Pensilvânia — postou um videoclipe de quase cinco minutos acompanhado de uma legenda sucinta: "It saved some for you.
(One shot!)" No dia seguinte, Ethan Mollick, professor de Wharton e pesquisador de inteligência artificial, republicou o vídeo resumindo a cena: "Um matemático cria um clipe musical no Opus 5.5 em resposta às demonstrações da OpenAI. Muito bom." Segundo Mollick, o clipe foi produzido com o Claude Opus 5.5, modelo mais potente da Anthropic lançado em 22 de setembro.
Clipe musical publicado por Plotkin (cerca de 4 min 53 s, 1080p)
Em uma primeira olhada, parece apenas mais uma curiosidade das redes: um professor renomado, uma criação audiovisual e uma legenda espirituosa. Mas o contexto em que esse vídeo surgiu é uma das maiores crises intelectuais já vistas na matemática moderna. E entender o peso desse clipe exige revisitar os dias anteriores.
A ofensiva da OpenAI
No início de outubro, como noticiou o The Decoder, a OpenAI disponibilizou publicamente centenas de manuscritos matemáticos formulados por inteligência artificial — um despejo de mais de 700 arquivos gerados por um modelo proprietário. A empresa já vinha atraindo holofotes ao afirmar que o sistema havia solucionado mais de 100 problemas matemáticos abertos em um intervalo de trinta dias, incluindo uma nova abordagem teórica para o problema de Navier-Stokes, um dos famosos Problemas do Prêmio Millennium. Para intermediar esse diálogo, a OpenAI instituiu o comitê consultivo AGMAI junto ao Institute for Advanced Study — embora o colegiado não possua ingerência sobre o ritmo das pesquisas da companhia. (O comunicado oficial da OpenAI está publicado em seu site; os apontamentos a seguir baseiam-se na cobertura do The Decoder.)
O material caiu como uma granada em uma comunidade acadêmica que já vinha em pé de guerra há meses.
A revolta: "Nenhum matemático pediu por isso"
A Association for Human Mathematics (AHM) — presidida pelo medalhista Fields Terence Tao, que divulgou o manifesto como texto convidado em seu blog — acusou a OpenAI de violar parâmetros éticos fundamentais da pesquisa científica e pediu o boicote imediato dos matemáticos a projetos com a big tech. Segundo o documento, liberar mais de 700 artigos sem aviso prévio soou como pura demonstração de força bruta, não como contribuição acadêmica. Paralelamente, em sua conta no Mastodon, Tao propôs as bases de uma era batizada de "Math 2.0", na qual encontrar soluções já não seria o principal propósito da matemática. No mesmo tom, o especialista em teoria da complexidade Scott Aaronson descreveu o momento em seu blog como um "Matemocalipse" (Mathocalypse).
Dois relatos destacados pelo The Decoder mostram por que os ânimos se exaltaram tanto. Primeiro: boa parte desses artigos produzidos por IA exibe uma densidade e uma estrutura textual tão incomuns que até expoentes da área precisam de outras ferramentas de IA para tentar decifrá-los — quando conseguem. Segundo: ao debater o suposto contraexemplo de Navier-Stokes em um podcast (conforme resumido aqui), Justin Solomon, do MIT, admitiu que ele e o apresentador não foram capazes de avançar além da segunda página. No fundo, a discussão é sobre legitimidade: um problema pode ser dado como resolvido antes que sua demonstração seja verificada de ponta a ponta e se torne inteligível para a mente humana?
E foi aí que o clipe de Plotkin entrou em cena.
A terceira via
Diante desse turbilhão, a comunidade matemática se dividiu em três caminhos bem marcados. O primeiro foi o confronto institucional da AHM: erguer muros, cobrar respeito às práticas históricas da ciência e lembrar que o objetivo do conhecimento é o entendimento. O segundo foi o conformismo amargo: o pessimismo de Aaronson, o recuo de Solomon diante da página dois e a sensação inevitável de que as comportas foram abertas sem autorização prévia.
A terceira via foi a resposta estética de Plotkin. Criar uma obra de arte com a IA de um laboratório rival e cravar na legenda "It saved some for you" ("Sobrou um pouco para você") soa como um comentário irônico e brilhante sobre todo o debate. Seja a frase uma letra de música, uma piada ácida sobre o pouco que resta aos humanos ou ambas as coisas, o gesto fala por si: se os algoritmos assumiram a dedução das fórmulas, aos humanos cabe justamente a outra ponta — dar sentido, cantar, rir e cultivar o próprio gosto. Com uma cutucada extra: isso não foi feito ignorando a tecnologia, mas operando dentro dela.
A síntese elogiosa de Mollick reflete esse mesmo lado da trincheira. O pesquisador defende há anos que a inteligência artificial deve funcionar como uma cointeligência para ampliar o trabalho humano, e não para apagá-lo. Usar um videoclipe para comentar o embate sobre os teoremas segue essa exata lógica: a questão instigante não é se os modelos conseguem provar equações, mas o que nós faremos em seguida.
Ressalvas necessárias
Existem três lacunas que esta análise não pode checar diretamente. O conteúdo concreto do vídeo — se contém animação digital, encenação humana ou geração de vídeo por IA — não pôde ser avaliado além de seus dados técnicos, legenda e autoria divulgados. Além disso, a afirmação de que ele foi feito com o Opus 5.5 apoia-se unicamente no tuíte de Mollick, já que Plotkin não citou ferramentas no post original. Por fim, Mollick chama Plotkin de "um matemático", ainda que sua cadeira seja em ciências naturais — prova de que até os detalhes mais básicos desse debate circulam no calor das redes sociais, sem passar por crivos formais.
O que ninguém discute é a sequência cronológica: uma avalanche de teoremas sintéticos, um apelo a um boicote acadêmico e um clipe musical, tudo isso em questão de dias. As duas primeiras respostas tentaram debater o propósito da matemática. A terceira preferiu demonstrar o que ainda nos pertence.