Eno Reyes(@EnoReyes):We show how a model-independent AI system can radically improve performance of any frontier model on the hardest problems in software development. New Factory research on long-horizon agents. Models can win the IMO because a proof checks itself. A codebase doesn't, so agents declare victory early and fall short of human-level work. This makes solving complex software far harder and more interesting than solving math problems. Like the constraints human organizations impose to ship production software, agents can organize themselves and build new validation strategies to verify the unverifiable. This is likely the most advanced program reverse engineering system in the world right now.

2026.08.27 20:28

We show how a model-independent AI system can radically improve performance of any frontier model on the hardest problems in software development. New Factory research on long-horizon agents. Models can win the IMO because a proof checks itself. A codebase doesn't, so agents declare victory early and fall short of human-level work. This makes solving complex software far harder and more interesting than solving math problems. Like the constraints human organizations impose to ship production software, agents can organize themselves and build new validation strategies to verify the unverifiable. This is likely the most advanced program reverse engineering system in the world right now.