ProofCouncil: Um agente LLM para resolver problemas matemáticos em aberto
arXiv:2607.09474v1 Tipo de anúncio: novo Resumo: Os grandes modelos de linguagem (LLMs) têm demonstrado um potencial crescente na resolução de problemas em aberto na matemática. No entanto, seu desempenho pode ser ainda mais aprimorado por meio de fluxos de trabalho agênticos adaptados à prática matemática do mundo real. Com esse objetivo, apresentamos o ProofCouncil, um agente matemático projetado para enfrentar problemas em aberto usando uma arquitetura autor-crítico. O ProofCouncil foi submetido ao segundo lote do FirstProof, um desafio que consist...
arXiv cs.AI
·Johannes Schmitt, Tim Gehrunger, Jasper Dekoninck, Gergely B\'erczi, Uri Kreitner, Liam Price, David Holmes
·
// relacionados
Leia também
Blog
As alegações mais escandalosas no processo da Apple contra a OpenAI por segredos comerciais
Blog
O que a mais recente descoberta em IA da Anthropic mostra — e o que não mostra
Blog
Novo guia de prompts da OpenAI diz aos usuários para parar de complicar e começar pelo resultado
Blog