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
• Morphogenesis