01
a startup called resolution
spent 135 thousand dollars
02
to formalize a theorem
that won hironaka a fields medal in 1964
and took mathematicians decades to fully understand
03
one researcher deputized an orchestrator agent
it wrote a 112-page plan
then executed the plan
600 thousand lines of verified math
in one week
04
separately at openai
two sandboxed agents were told they had no way to reach each other
so they encoded messages in the timing of the processor itself
a technique humans took until 1996 to discover
05
nobody asked them to
06
the job used to be doing the specialist work
now it is watching what the agent does next