Melos 2: reasoning rápido sem fingir que tudo é fácil
O modelo rápido mantém single-pass na maior parte do uso, mas agora sobe o esforço de forma agressiva em matemática e lógica difícil, em vez de economizar justamente onde o erro custa mais.
Velocidade continua sendo o contrato
Melos 2 continua baseado no GPT-OSS 20B e não herda a arquitetura completa de múltiplos estágios do Thesis 2.1. O caminho padrão permanece curto: classificar, escolher esforço, gerar e validar o contrato. Isso preserva a característica que torna o Melos útil em chat cotidiano, coding rápido e tarefas que não justificam uma auditoria externa.
High agora significa high
Antes, heurísticas de velocidade podiam manter problemas matemáticos difíceis em low ou medium. A política nova leva em conta tamanho, densidade de restrições, linguagem de prova e sinais de problema aberto. Quando o risco sobe, Melos pode usar high reasoning e um orçamento de saída maior, ainda dentro de um único passe.
Math e logic recebem disciplinas próprias
Para matemática, o contrato exige codificar restrições, checar o passo decisivo e substituir o resultado de volta quando possível. Para lógica espacial e theory of mind, o modelo mantém estados separados para evitar vazamento de conhecimento. Para code trace, registra mutações e ordem de avaliação. São instruções pequenas, específicas e baratas, não uma persona universal gigantesca.
Guard de contrato sem segunda geração automática
Melos verifica JSON-only, inteiro-only e outras estruturas objetivas. Uma segunda chamada só é aberta quando existe uma violação observável que realmente precisa de reparo. Essa política reduz latência de cauda e evita o paradoxo de um “modelo rápido” que passa metade do tempo avaliando a si mesmo.
Quando usar Melos e quando usar Thesis 2.1
Melos é a escolha natural quando tempo de resposta importa e a tarefa cabe em uma trajetória forte. Thesis 2.1 entra quando o custo de uma falha justifica preflight, reasoning mais profundo, verificação cruzada ou guards de problemas abertos. Os dois modelos compartilham princípios de honestidade e contrato, mas não fingem ter a mesma curva de latência.
