A alegação da OpenAI de ter encontrado um contraexemplo para o limite de distâncias unitárias de Erdős caiu no r/MachineLearning e o clima é de ceticismo educado. Pesquisadores apontam que o modelo é de propósito geral, o que torna o resultado mais interessante, mas também levantam dúvidas sobre quanto da busca foi guiada por humanos e quanto saiu de fato do raciocínio autônomo.
O ponto recorrente nos comentários é: contraexemplo em matemática se verifica em minutos, então ou o resultado é real ou cai rápido. O que incomoda é o framing de “modelo descobriu sozinho”, que costuma desmoronar quando alguém olha o histórico de prompts. Aguardar antes de comemorar parece a postura sensata.
Via Reddit.
Fonte: reddit.com · Imagem de capa: Foto de Bozhin Karaivanov no Unsplash