Vexorium-Agent 发布 Lean 重构赛技术报告
热点事件持续更新
Vexorium-Agent 发布 Lean 重构赛技术报告
1 篇报道1 个报道来源9 小时前更新
先了解这件事
AI 综述
Vexorium-Agent 团队发布技术报告，说明其在 Lean Refactor Arena 闭赛道的参赛方法与成绩：以 GPT-6.1 与 Gemini 4 分步编译门控，60 道决赛题得 86.31 分，位列第 8。 报告称总花费 US$166.33，单题均值 US$2.772、最高 US$2.874，未超 US$3 上限。
AI 根据报道生成 · 46 分钟前更新
最新进展11月11日 13:00
Vexorium-Agent 用 GPT-6.1 与 Gemini 4 分步编译门控，Lean 证明重构赛获 86.31 分报道时间线
沿着报道，了解事件的不同侧面。
11月11日
- arXiv cs.AIVexorium-Agent 用 GPT-6.1 与 Gemini 4 分步编译门控，Lean 证明重构赛获 86.31 分
Vexorium-Agent 在 Lean Refactor Arena 闭赛道上以 86.31 分位列第 8，60 道决赛题总花费 US$166.33，单题均值 US$2.772、最高 US$2.874，未超 US$3 上限。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。