Standing on the shoulders of giants.

I'm Paolo Pignatelli, in La Jolla. I studied math and EE at Columbia, worked at Bell Labs, IBM and Microsoft, and spent years as a simultaneous interpreter, which shapes my research: a formal theory of how meaning moves between AI systems. With Claude, GPT and Gemini as research partners, I work on turning empirical findings into formal objects, theorems, starting with constructive computer science and AI, then mathematics, and later physics, where empiricism and theory have to meet, and beyond. What's working: agent societies that can tell when something they inherited no longer fits its intent. What I'd like: conversations with researchers in mathematics and theoretical CS, especially on what a mathematical idea is, and what AI means for mathematicians. My research is at internationalmirrors.com.