LongHorizon-Harness：评测真实世界长时程智能体

The metric shifts chip evaluation from peak compute to real serving capacity, which changes how buyers should read vendor spec sheets. Infrastructure planners, cloud capacity teams and analysts sizing inference fleets can use IPI scores to model how many concurrent users or agents a given GPU deployment actually supports. Compared with the H100, the GB300's 10× inferred advantage shows why last-generation hardware may be far more constrained for agent workloads than raw FLOP/s suggests.

官方账号Epoch AI@EpochAIResearch2 sourcesSource

The non-obvious shift is that machine-checked proofs, not simulations, become the fitness signal, letting the search escape classical hardware limits entirely. Developers building agent pipelines should study the wiki-plus-conference coordination structure, which avoids duplicate work across teams. Readers tracking quantum computing get concrete cost improvements to watch when hardware matures, and teams in formal verification gain evidence that LLMs can target Lean at scale.

DAIR.AI@dair_aiSource