media Hugging Face Forums · há 2 d · open_models

Proposta para um sistema de decomposição de proposições e raciocínio orientado por contradições

Traduzido do English → Português (BR)

Um autor propõe um design de pesquisa para um sistema de raciocínio que detecta contradições entre duas proposições ao decompor as mesmas em componentes menores e buscar colisões lógicas, em vez de depender do julgamento direto de LLM.

O sistema separa a exploração probabilística da verificação formal para melhorar a eficiência sob orçamentos de geração limitados.
A identificação de proposições usa relações de implicação para mapear o conteúdo correspondente através de diferentes estruturas lógicas.
Uma estratégia de busca por colisões visa encontrar formas positivas e negativas do mesmo sujeito de forma mais eficiente do que a busca não direcionada.
A implementação inicial tem como alvo a lógica proposicional, emitindo CONTRADICTION, CONSISTENT ou UNKNOWN.

O autor está buscando discussão, crítica, abordagens alternativas e colaboradores para ajudar a implementar ou testar esta hipótese.

Importância 1/3 Confiança 1/3 Hugging Face Forums Reasoning models Research paper

Ler original

TelecomGPT-R1: Pós-treinamento unificado para raciocínio em tarefas de telecomunicações heterogêneas

Pesquisadores apresentam o TelecomGPT-R1, uma família de modelos de raciocínio unificados de telecomunicações de código aberto, projetados para automatizar tarefas de engenharia por meio do raciocínio sobre padrões, configurações e logs. O modelo aborda as limitações dos LLMs generalistas e especializados existentes por meio de uma abordagem estruturada que abrange os eixos de protocolo, conhecimento, modelagem e falhas.

media Don't Worry About the Vase · há 51 d · 41 visualizações

Astra da OpenAI resolve 10 grandes problemas abertos de matemática

A OpenAI divulgou os resultados de seu modelo interno não lançado, o Astra, que conseguiu resolver dez problemas abertos significativos em matemática. As soluções foram geradas pelo modelo e posteriormente formalizadas em certificados Lean por pesquisadores humanos.

blog Simon Willison · há 53 d · 51 visualizações

Modelo Astra da OpenAI resolve dez problemas matemáticos de longa data usando GPT-5.6 Sol

A OpenAI lançou soluções para dez problemas de matemática e ciência da computação teórica que não tinham visto progresso em seus resultados principais por pelo menos uma década, usando uma versão interna de seu próximo modelo principal, Astra.

arxiv arXiv cs.AI · há 62 d · 37 visualizações

PoTRE apresenta estrutura multiagente heterogênea para raciocínio em tempo de teste

Os autores apresentam o PoTRE (Poly-Topological Reasoning Ensembles), uma estrutura projetada para abordar as limitações da solicitação padrão de fluxo único em tarefas complexas de raciocínio. O PoTRE desacopla a inferência em quatro agentes distintos: um Agente de Refinamento Adversarial, um Agente de Planejamento Estratégico Hierárquico, um Agente de Busca Espectral e um Agente de Cadeia Direta.

arxiv arXiv cs.AI · há 69 d · 22 visualizações

Interação profunda permite correção precisa de erros de raciocínio de LLM por humanos

Os autores propõem o Deep Interaction, um método eficiente de interação humano-IA projetado para corrigir erros de raciocínio em modelos de linguagem grandes sem exigir a regeneração completa da resposta. Este mecanismo permite que os usuários editem diretamente a resposta original do Chain-of-Thought, preservando os passos corretos enquanto consertam os erros.