Os 722 artigos de matemática da OpenAI são um alerta, não um triunfo
OpenAI publicando 722 artigos de matemática escritos por IA em um dia é o tipo de manchete que faz as pessoas torcerem ou entrarem em pânico, e ambos reagem
A publicação da OpenAI de 722 artigos de matemática escritos por IA em um dia é o tipo de manchete que faz as pessoas comemorarem ou entrarem em pânico, e ambas as reações não entendem.
A parte útil: muitas provas vêm com versões Lean que um computador pode verificar linha por linha. Isso é real e é um passo em direção à matemática que você pode verificar sem um comitê.
A parte desconfortável: o volume em si foi chamado de “slopocalipse” pelos matemáticos que se opuseram ao processo, não aos resultados. Nada disso resolveu o problema do Prémio Milénio.
A lição para o resto de nós: 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.