David Tom Foss

Knowledge Is Compute: Recursive Knowledge Compilation in an Exact Discovery System

Search is the default way to buy capability: a deeper search, a larger budget, more samples. We show a second axis that is cheaper and compounds. A solver that certifies its own results exactly can compile them back into the machine that searches, as new instructions and as a learned search order, and the compiled mach...