Pesquisadores apresentam fluxo multissessão para agentes de olimpíadas
O HOA combina revisão independente, notas estruturadas de conhecimento e verificação formal.
Período do evento/dos dados: 2026-10-09
Publicado: · Atualizado:
Pesquisadores apresentaram o HOA, fluxo aberto que coordena várias sessões de agentes em problemas difíceis de matemática e ciências. O sistema envia soluções candidatas a um revisor independente, fornece conhecimento especializado ausente por meio de uma wiki estruturada e verifica provas formalizadas em Lean com um verificador confiável.
Os autores relatam que o HOA resolveu 672 problemas do PutnamBench e 251 do Lean-Eval. Os experimentos também abrangem as questões oficiais das olimpíadas de matemática, física, química e programação de 2026; a avaliação varia por área e usa revisão humana, testes de código ou um juiz LLM. Os resultados se limitam a essas tarefas e métodos de avaliação e não demonstram capacidade geral de descoberta científica.
Dados
Medida
Resultado do PutnamBench na avaliação do artigo
| Problemas do PutnamBench resolvidos com HOA | 672 | Resultado do PutnamBench na avaliação do artigo |
Metodologia
Os valores vêm dos experimentos de benchmark descritos no artigo; não são medições de campo nem garantias gerais de desempenho.
Atualizado:
Medida
Resultado do Lean-Eval na avaliação do artigo
| Problemas do Lean-Eval resolvidos com HOA | 251 | Resultado do Lean-Eval na avaliação do artigo |
Metodologia
Os valores vêm dos experimentos de benchmark descritos no artigo; não são medições de campo nem garantias gerais de desempenho.
Atualizado:
Temas e lugares
Sugestões de temas
- Ciência e tecnologiaAnotação sugerida
- Preserved editorial category/topic; broad candidate onlyarxiv.org ↗
Referências geográficas
São exibidas apenas referências geográficas fornecidas pela fonte. Abrir um mapa externo é opcional. Os mapas opcionais das notícias usam o OpenStreetMap. Ao abrir um mapa, seu endereço IP e o endereço deste site são enviados ao provedor do mapa. Os dados de localização continuam disponíveis em texto sem carregar o mapa.
- China · Função do lugar: Cobertura · Tipo de lugar: país ou área · Precisão da localização: regionalEvidência
- Explicit preserved editorial country/region; no city or national centroid inferredarxiv.org ↗