Ten parallel agents produced a machine-checked proof in roughly 15 hours. The post explains which proof strategies worked and where they stop (N=32 needs a new idea), showing how far long-horizon AI agentAn AI system that doesn't just answer once but works toward a goal in a loop — taking actions, reading the results, and deciding what to do next.Full definition → proving currently reaches.
Terms in this piece · Glossary
AI agent — An AI system that doesn't just answer once but works toward a goal in a loop — taking actions, reading the results, and deciding what to do next.
