Master’s student in applied mathematics, funded by Center on Long-Term Risk to investigate the cheating problem in safe pareto-improvements. Agent foundations fellow with @Alex_Altair.

Some other areas I’m interested in:

• Investigate properties of general purpose search so that we can handcraft it & simply retarget the search

• Investigate the type signature of world models to find properties that remain invariant under ontology shifts

• Natural latents

  • How to characterize natural latents in settings like PDEs?

  • Equivalence of natural latents under transformation of variables

• Formalizing automated design

• Information theoretic impact measures

• Scalable blockchain consensus mechanisms

• Programming language for concurrency

• Quantifying optimization power without assuming a particular utility function

• What mathematical axioms would emerge in a solomonoff inductor?

• How things like riemannian metric & differential equations might emerge from discrete systems