← Últimos artigos
💬 NLP

Reasoning Core: Designing Broad Procedural Data for Completion-Supervised Reasoning Training

Este artigo apresenta o Reasoning Core, uma coleção abrangente de 50 geradores procedimentais com pontuadores semânticos e controles de dificuldade que, quando utilizados para o ajuste fino supervisionado por completude, supera os conjuntos de dados procedimentais existentes em benchmarks de raciocínio fundamentais, demonstrando que a validade semântica por si só é insuficiente sem alvos compactos e dificuldade calibrada.

Autores originais: Damien Sileo, Valentin Lacombe, Dimitri Kachler

Publicado 2026-08-06
📖 6 min de leitura🧠 Leitura aprofundada

Autores originais: Damien Sileo, Valentin Lacombe, Dimitri Kachler

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

Imagine que você está tentando ensinar um robô a pensar. Por muito tempo, cientistas alimentaram esses robôs com enormes bibliotecas de livros, artigos e conversas, esperando que eles aprendessem a raciocinar por osmose. Mas, às vezes, o robô apenas memoriza as respostas sem entender a lógica. Para corrigir isso, pesquisadores começaram a construir "mundos simulados" onde o robô precisa resolver quebra-cabeças, jogar jogos ou fazer matemática. Nesses mundos, existe uma resposta clara de certo ou errado, como um nível de videogame onde você ou derrota o chefe ou não derrota. Isso é chamado de geração procedural: em vez de contratar um humano para escrever um milhão de problemas matemáticos, você escreve um programa de computador que os cria sobre a hora, garantindo que cada um deles seja solucionável e verificável.

A grande questão que os pesquisadores estão fazendo é: Como projetamos esses mundos simulados para que eles realmente tornem o robô mais inteligente? Acontece que ter apenas um quebra-cabeça que pode ser resolvido não é suficiente. Se o quebra-cabeça for muito confuso, a resposta for muito longa ou as instruções forem complicadas, o robô pode ficar frustrado ou aprender a lição errada. Este artigo mergulha na "receita" desses quebra-cabeças, perguntando se a maneira como escrevemos as instruções e as respostas importa tanto quanto o próprio quebra-cabeça.


A Cozinha da Lógica: Apresentando o REASONING CORE

Pense em treinar uma IA inteligente como ensinar um aluno para um grande exame. Você pode dar a eles uma pilha de livros didáticos do mundo real (que é como a maioria do treinamento de IA se parece), ou pode dar a eles um caderno de exercícios de prática. Os autores deste artigo decidiram construir o caderno de exercícios definitivo, que eles chamam de REASONING CORE.

Eles não apenas jogaram problemas aleatórios juntos. Eles construíram uma cozinha enorme com 50 "geradores" diferentes (pense neles como chefs automatizados). Cada chef se especializa em um tipo diferente de lógica:

  • Chefs de Matemática que criam problemas de aritmética e geometria.
  • Chefs de Lógica que constroem quebra-cabeças sobre verdade, mentiras e causa e efeito.
  • Chefs de Código que escrevem pequenos programas e pedem para a IA prever o que eles fazem.
  • Chefs de Jogos que montam cenários de jogos de tabuleiro onde a IA tem que encontrar a jogada vencedora.

O objetivo era ver se alimentar uma IA com uma dieta constante desses quebra-cabeças específicos e verificáveis a tornaria melhor em raciocínio do que apenas alimentá-la com mais textos aleatórios.

O Grande Teste de Sabor

Para descobrir se o novo livro de receitas "REASONING CORE" era bom, os pesquisadores realizaram um grande teste de sabor. Eles pegaram quatro modelos de IA diferentes (variando de pequenos a médios) e os alimentaram com uma mistura de texto regular e um de quatro tipos diferentes de coleções de quebra-cabeças:

  1. REASONING CORE (A nova coleção, cuidadosamente projetada).
  2. PROCEDURAL WARMUP (Uma coleção mais antiga de quebra-cabeças de lógica abstrata).
  3. REASONING GYM (Uma coleção popular de quebra-cabeças algorítmicos).
  4. SYNLOGIC (Uma coleção focada em jogos lógicos).

Eles treinaram os modelos por diferentes períodos de tempo e depois os testaram em desafios de raciocínio padrão, como compreensão de leitura, quebra-cabeças de lógica e problemas matemáticos.

Os Resultados: Qualidade sobre Quantidade

Os resultados foram claros. Quando testaram os modelos em uma escala de 3 bilhões de parâmetros (um cérebro de tamanho médio para uma IA), o REASONING CORE saiu vencedor. Ele ajudou a IA a pontuar mais alto em testes difíceis como DROP, LogiQA e ARC-Challenge do que qualquer uma das outras coleções, ou mesmo apenas treinando com texto regular sozinho.

Mas aqui está a parte mais interessante: não era apenas sobre ter mais quebra-cabeças. Os pesquisadores descobriram que como os quebra-cabeças eram escritos importava imensamente.

  • O Segredo da "Resposta Curta": Eles descobriram que pedir à IA uma explicação longa e passo a passo de como ela resolveu um problema muitas vezes a tornava pior. Em vez disso, a IA aprendeu melhor quando os quebra-cabeças pediam uma resposta compacta e direta (como um único número, uma palavra específica ou um pequeno trecho de código). É como a diferença entre pedir a um aluno para escrever um ensaio de cinco páginas sobre como ele resolveu um problema matemático versus apenas pedir o número final. O ensaio os distraía; o número os focava.
  • O Botão de "Dificuldade": Eles também aprenderam que os quebra-cabeças precisavam estar "no ponto certo". Se fossem muito fáceis, a IA ficava entediada. Se fossem muito difíceis, a IA ficava confusa. Os melhores resultados vieram de quebra-cabeças que eram desafiadores, mas solucionáveis.
  • A Surpresa da "Auditoria": A equipe foi tão cuidadosa que não apenas confiou no próprio trabalho. Eles realizaram uma "auditoria de segurança" nas outras coleções de quebra-cabeças (REASONING GYM e SYNLOGIC) e encontraram erros sorrateiros. Por exemplo, em uma coleção, um quebra-cabeça poderia ter uma resposta "correta" que era, na verdade, errada porque o programa de computador que verificava a resposta tinha um erro de programação (bug). Isso provou que só porque um quebra-cabeça é gerado por um computador, não significa que ele esteja correto. Você tem que conferir o trabalho.

Por Que Isso Importa

Este artigo sugere que, se quisermos construir IAs mais inteligentes, não devemos apenas jogar mais dados nelas. Precisamos ser mais espertos sobre quais dados damos a elas.

Pense nisso como treinar para um esporte. Se você quer ficar melhor no basquete, você não apenas corre aleatoriamente pela academia. Você pratica exercícios específicos: arremessar lances livres, driblar entre cones e jogar na defesa. O REASONING CORE é como um conjunto de exercícios perfeitamente desenhado. Ele mostra que, ao criar cuidadosamente os problemas (os exercícios) e as respostas (a pontuação), podemos ajudar os modelos de IA a aprender a pensar de forma muito mais eficaz.

Os autores não disseram apenas: "Ei, isso funciona". Eles mediram, testaram em diferentes modelos e até encontraram falhas no trabalho de outras pessoas para provar seu ponto. Eles mostraram que o design dos dados de treinamento é tão importante quanto os próprios dados. Embora ainda não tenham resolvido o mistério de como criar uma IA superinteligente, eles certamente encontraram uma maneira melhor de ensinar o básico a elas.

Afogado em artigos na sua área?

Receba digests diários dos artigos mais recentes que correspondam às suas palavras-chave de pesquisa — com resumos técnicos, no seu idioma.

Experimentar Digest →