“Is ProgramBench Impossible?” by frmsaul

“Is ProgramBench Impossible?” by frmsaul

From LessWrong (30+ Karma) by LessWrong

May 8, 2026 · 5 min

About this episode

The episode discusses the challenges and implications of the ProgramBench coding benchmark that frontier models struggle to pass.

ProgramBench is a new coding benchmark that all frontier models fail spectacularly. We’ve been on a quest for “hard benchmarks” for a while so it's refreshing to see a benchmark where top models do badly. Unfortunately, ProgramBench has one big problem: it's impossible! What is ProgramBench? ProgramBench tests if a model can recreate a program from a “clean room” environment. The model is given only a bit of documentation and black-box access to the program (all the programs are CLIs), then tasked with re-implementing it. How does ProgramBench know if the implementation is correct? It also generates a bunch of unit tests for the program[1]. The re-implementing coding agent doesn't have access to any of those tests. The coding agent only considers a task “resolved” if it passes all of the tests and “almost resolved” if it passes 95% of them. Why is this problematic? Obscure behavior can enter the unit tests without being in the clean room path. An extreme version of this is a backdoor: program that behaves in one way most of the time but behaves totally differently when exposed to a specific string. This wouldn't make a task literally impossible, just incredibly hard in [...]…

People in this episode

Host: frmsaul

Topics covered

  • coding benchmarks
  • artificial intelligence
  • programming
  • model evaluation
  • unit testing

Keywords

  • ProgramBench
  • coding benchmark
  • AI models
  • unit tests
  • program re-implementation

More episodes of LessWrong (30+ Karma)

Explore listener stats, chart rankings, contacts and more on the LessWrong (30+ Karma) podcast page.