su

I’m interested in generative AI, AI-assisted reasoning, and the relationship between AI and formal knowledge. I’m particularly curious about how AI can support learning, mathematical thinking, and structured problem solving.