# Forschende stellen einen Mehrsitzungs-Workflow für Olympiade-Agenten vor > HOA verbindet unabhängige Prüfung, strukturierte Wissensnotizen und formale Verifikation. - Kanonische URL: https://newsverum.com/de/news/researchers-coordinate-multi-session-olympiad-agents - Herausgeber: Newsverum - Rubrik: Technologie - Land: China - Veröffentlicht: 2026-10-13T00:51:41+00:00 - Aktualisiert: 2026-10-13T00:51:41+00:00 - Ereignis- oder Datenzeitraum: 2026-10-09 - Weitere Ausgaben: [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), [Français](https://newsverum.com/fr/news/researchers-coordinate-multi-session-olympiad-agents.md), [Español](https://newsverum.com/es/news/researchers-coordinate-multi-session-olympiad-agents.md), [Português](https://newsverum.com/pt/news/researchers-coordinate-multi-session-olympiad-agents.md) Forschende stellten HOA vor, einen offenen Workflow, der mehrere Agentensitzungen bei schwierigen Mathematik- und Wissenschaftsaufgaben koordiniert. Er lässt Lösungskandidaten unabhängig prüfen, ergänzt fehlendes Fachwissen durch ein strukturiertes Wiki und kontrolliert Lean-formalisierte Beweise mit einem vertrauenswürdigen Verifikator. Die Autoren berichten, dass HOA 672 PutnamBench-Aufgaben und 251 Aufgaben bei Lean-Eval löste. Die Experimente umfassen außerdem die offiziellen Aufgaben der Mathematik-, Physik-, Chemie- und Informatikolympiaden 2026; die Bewertung nutzt je nach Fach menschliche Prüfung, Codetests oder ein LLM-Urteil. Die Ergebnisse gelten für diese Aufgaben und Bewertungsverfahren und belegen keine allgemeine Fähigkeit zu wissenschaftlichen Entdeckungen. ## Daten ### Messgröße PutnamBench-Ergebnis in der Auswertung der Arbeit Methodik: Die Werte stammen aus den im Artikel beschriebenen Benchmark-Experimenten; sie sind weder Feldmessungen noch allgemeine Leistungsgarantien. | Messgröße | Berichteter Wert | Versuchsumfang | |---|---|---| | Mit HOA gelöste PutnamBench-Aufgaben | 672 | PutnamBench-Ergebnis in der Auswertung der Arbeit | Quellen: · Daten herunterladen: [JSON](https://newsverum.com/api/v1/articles/researchers-coordinate-multi-session-olympiad-agents/data/reported-result-1?lang=de&format=json) · [CSV](https://newsverum.com/api/v1/articles/researchers-coordinate-multi-session-olympiad-agents/data/reported-result-1?lang=de&format=csv) ### Messgröße Lean-Eval-Ergebnis in der Auswertung der Arbeit Methodik: Die Werte stammen aus den im Artikel beschriebenen Benchmark-Experimenten; sie sind weder Feldmessungen noch allgemeine Leistungsgarantien. | Messgröße | Berichteter Wert | Versuchsumfang | |---|---|---| | Mit HOA gelöste Lean-Eval-Aufgaben | 251 | Lean-Eval-Ergebnis in der Auswertung der Arbeit | Quellen: · Daten herunterladen: [JSON](https://newsverum.com/api/v1/articles/researchers-coordinate-multi-session-olympiad-agents/data/reported-result-2?lang=de&format=json) · [CSV](https://newsverum.com/api/v1/articles/researchers-coordinate-multi-session-olympiad-agents/data/reported-result-2?lang=de&format=csv) ## Quellen - [arXiv preprint by Tsinghua University, NVIDIA and collaborating researchers]() (Quelle geprüft: 2026-10-13; Veröffentlicht: 2026-10-09) --- Zitieren Sie die oben angegebene kanonische URL. [Redaktionsstandards und Korrekturen](https://newsverum.com/de/editorial)