Des chercheurs présentent un workflow multi-session pour les agents d’olympiades
HOA associe une révision indépendante, des notes de connaissances structurées et une vérification formelle.
Période de l’événement / des données: 2026-10-09
Publié: · Mis à jour:
Des chercheurs ont présenté HOA, un workflow ouvert qui coordonne plusieurs sessions d’agents pour résoudre des problèmes difficiles de mathématiques et de sciences. Il soumet les solutions candidates à un réviseur indépendant, fournit les connaissances disciplinaires manquantes au moyen d’un wiki structuré et vérifie les preuves formalisées en Lean avec un vérificateur fiable.
Les auteurs indiquent que HOA a résolu 672 problèmes de PutnamBench et 251 problèmes de Lean-Eval. Les expériences couvrent aussi les sujets officiels des olympiades 2026 de mathématiques, physique, chimie et programmation; la notation varie selon le domaine et repose sur une révision humaine, des tests de code ou un juge LLM. Les résultats restent limités à ces tâches et méthodes d’évaluation et n’établissent pas une capacité générale de découverte scientifique.
Données
Mesure
Résultat de PutnamBench dans l’évaluation de l’article
| Problèmes PutnamBench résolus avec HOA | 672 | Résultat de PutnamBench dans l’évaluation de l’article |
Méthodologie
Les valeurs proviennent des expériences de benchmark décrites dans l’article; elles ne constituent ni des mesures de terrain ni une garantie générale de performance.
Mis à jour:
Mesure
Résultat de Lean-Eval dans l’évaluation de l’article
| Problèmes Lean-Eval résolus avec HOA | 251 | Résultat de Lean-Eval dans l’évaluation de l’article |
Méthodologie
Les valeurs proviennent des expériences de benchmark décrites dans l’article; elles ne constituent ni des mesures de terrain ni une garantie générale de performance.
Mis à jour:
Sujets et lieux
Sujets proposés
- Science et technologieProposé
- Preserved editorial category/topic; broad candidate onlyarxiv.org ↗
Références géographiques
Seules les références géographiques présentes dans la source sont affichées. L’ouverture d’une carte externe est facultative. Les cartes facultatives utilisent OpenStreetMap. Leur ouverture transmet votre adresse IP et celle de ce site au fournisseur ; les coordonnées restent lisibles sans charger la carte.
- Chine · Rôle du lieu: Couverture · Type de lieu: Pays ou territoire · Précision de localisation: RégionaleÉléments probants
- Explicit preserved editorial country/region; no city or national centroid inferredarxiv.org ↗