Research

Tracks

AI Externalities Lab

Math-first models of AI’s footprint at scale: training vs inference, adoption dynamics, sensitivity, and efficiency incentives.

Formal Math (Lean + AI)

Coming soon.

Dynamical AI (PDEs)

Coming soon.