In this proposal, we investigate properties in two challenging dynamic applications: consistent $k$-center clustering and light spanners in doubling metrics.
How AI scientists can recursively improve: Faraday uses long-horizon RL to replicate research, direct larger agents, and move from replication to innovation.