Estamos enviando trabalhos especializados mais rápido do que podemos verificar

Os 722 trabalhos de matemática escritos por IA da OpenAI em um dia é a manchete que deveria assustar mais os construtores do que confortá-los.

Muitas provas enviadas com versões Lean que um computador pode verificar linha por linha, o que é real e útil. Mas o volume em si foi chamado de “slopocalipse” pelos matemáticos que se opuseram ao processo, e nenhum deles resolveu o problema do Prémio Milénio.

A lição não é sobre matemática. É que a IA agora pode produzir trabalho de nível especializado mais rápido do que podemos verificá-lo. O gargalo nunca foi geração. Foi uma verificação e ainda é.

Comemore a capacidade, mas desenvolva a verificação. Um mundo que não consegue verificar o que gera é um mundo que envia disparates confiantes em grande escala.

Eu trato cada rascunho de IA como um primeiro rascunho de um estagiário muito rápido e muito confiante. Eu ainda leio o trabalho.