Forschende stellen einen Mehrsitzungs-Workflow für Olympiade-Agenten vor
HOA verbindet unabhängige Prüfung, strukturierte Wissensnotizen und formale Verifikation.
Ereignis-/Datenzeitraum: 2026-10-09
Veröffentlicht: · Aktualisiert:
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
| Mit HOA gelöste PutnamBench-Aufgaben | 672 | 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.
Aktualisiert:
Messgröße
Lean-Eval-Ergebnis in der Auswertung der Arbeit
| Mit HOA gelöste Lean-Eval-Aufgaben | 251 | 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.
Aktualisiert:
Themen und Orte
Themenvorschläge
- Wissenschaft, Technik, ForschungVorgeschlagene Kennzeichnung
- Preserved editorial category/topic; broad candidate onlyarxiv.org ↗
Geografische Angaben
Angezeigt werden nur geografische Angaben aus der Quelle. Eine externe Karte lässt sich optional öffnen. Optionale Karten in Artikeln nutzen OpenStreetMap. Beim Öffnen werden Ihre IP-Adresse und die Adresse dieser Website an den Kartenanbieter übermittelt. Ortsangaben bleiben auch ohne Karte als Text lesbar.
- China · Funktion des Ortes: Abdeckung · Art des Ortes: Land oder Gebiet · Ortsgenauigkeit: regionalBeleg
- Explicit preserved editorial country/region; no city or national centroid inferredarxiv.org ↗