# 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.

- URL canonique: https://newsverum.com/fr/news/researchers-coordinate-multi-session-olympiad-agents
- Éditeur: Newsverum
- Rubrique: Technologie
- Pays: Chine
- Publié: 2026-10-13T00:51:41+00:00
- Mis à jour: 2026-10-13T00:51:41+00:00
- Période de l’événement / des données: 2026-10-09
- Autres éditions: [Türkçe](https://newsverum.com/tr/news/researchers-coordinate-multi-session-olympiad-agents.md), [English](https://newsverum.com/en/news/researchers-coordinate-multi-session-olympiad-agents.md), [العربية](https://newsverum.com/ar/news/researchers-coordinate-multi-session-olympiad-agents.md), [Español](https://newsverum.com/es/news/researchers-coordinate-multi-session-olympiad-agents.md), [Deutsch](https://newsverum.com/de/news/researchers-coordinate-multi-session-olympiad-agents.md), [Português](https://newsverum.com/pt/news/researchers-coordinate-multi-session-olympiad-agents.md)

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

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.

| Mesure | Valeur rapportée | Périmètre expérimental |
|---|---|---|
| Problèmes PutnamBench résolus avec HOA | 672 | Résultat de PutnamBench dans l’évaluation de l’article |

Sources: <https://arxiv.org/html/2610.13632v1> · Télécharger les données: [JSON](https://newsverum.com/api/v1/articles/researchers-coordinate-multi-session-olympiad-agents/data/reported-result-1?lang=fr&format=json) · [CSV](https://newsverum.com/api/v1/articles/researchers-coordinate-multi-session-olympiad-agents/data/reported-result-1?lang=fr&format=csv)

### Mesure

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.

| Mesure | Valeur rapportée | Périmètre expérimental |
|---|---|---|
| Problèmes Lean-Eval résolus avec HOA | 251 | Résultat de Lean-Eval dans l’évaluation de l’article |

Sources: <https://arxiv.org/html/2610.13632v1> · Télécharger les données: [JSON](https://newsverum.com/api/v1/articles/researchers-coordinate-multi-session-olympiad-agents/data/reported-result-2?lang=fr&format=json) · [CSV](https://newsverum.com/api/v1/articles/researchers-coordinate-multi-session-olympiad-agents/data/reported-result-2?lang=fr&format=csv)

## Sources

- [arXiv preprint by Tsinghua University, NVIDIA and collaborating researchers](<https://arxiv.org/html/2610.13632v1>) (Source vérifiée: 2026-10-13; Publié: 2026-10-09)

---

Citez l’URL canonique ci-dessus. [Principes éditoriaux et corrections](https://newsverum.com/fr/editorial)