What does it feel like to invent math - Tech Talk