Economic theory was never about mathematical muscles. Still, formally verifiable code based proof assistant (math AI) would greatly shape how we do our work in the future. Some reference to begin with:

Cooooooked.