We see math as code and code as math. The real magic, and the key transition, comes from combining AI, programming languages, and mathematics—bringing all three pillars together. What we envision is humans using informal reasoning and intuition as a powerful guide, with formal systems then verifying those ideas. That interplay across layers is, I think, the real magic of combining multiple levels of abstraction.