AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
The Auto-Formalization of Mathematics
The project you're doing is the auto-formalization of mathematics. It's basically the same as programming and you need to be very creative to figure out a lot of details. So basically when you read the mathematical text or you get a formal description of a program then you then your work starts. You have to fill in like huge huge gaps that seem like trivial to humans so if I explain to you some programming task then I can explain it to you in two minutes, just keep the first two minutes for the humans.