HOA多会话智能体框架在奥赛解题评测中报告满分成绩
热点事件持续更新
HOA多会话智能体框架在奥赛解题评测中报告满分成绩
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
Zhengyang Zhang 等团队提出开源流程级框架 HOA(Humanize Olympiad Agent),通过独立评审、结构化 Wiki 和 Lean 证明验证三条反馈通道协调多个智能体会话,用于奥赛问题求解。基于论文摘要,该框架搭载 GPT-5.6 Sol 时在 IMO、IPhO 和 IOI 2026 上取得满分,在 IChO 2026 接近满分,并解决 PutnamBench 全部 672 道题;在 Lean-Eval 上解决 304 道题中的 251 道。团队还称用 Kimi-K3 时同样在 IMO、IPhO、IOI 满分,IChO 达 97.1%(金牌水平)。 上述成绩均来自论文摘要的作者声称,尚属单一来源报告,未提及独立验证。
AI 根据报道生成 · 1 小时前更新
最新进展10月12日 12:00
HOA(Humanize Olympiad Agent):面向奥赛问题求解的多会话工作流报道时间线
沿着报道,了解事件的不同侧面。
10月12日
- arXiv · cs.AIHOA(Humanize Olympiad Agent):面向奥赛问题求解的多会话工作流
HOA是一个开源的流程级框架,通过独立评审、结构化Wiki和Lean证明验证协调多个智能体会话。基于论文摘要,搭载GPT-5.6 Sol的HOA在IMO、IPhO和IOI 2026上取得满分,在IChO 2026接近满分,并解决PutnamBench全部672道题;在Lean-Eval上解决304道题中的251道。
本事件热度走势
还没有足够的连续观测数据,暂不绘制趋势。