🤫 Here’s a little secret: AI is now solving high-school math olympiad problems like it’s no big deal. Our neural theorem prover for Lean is on the case! Let’s break down how this works. #AI #MathOlympiad

So how does AI tackle math problems? It generates a sequence of proof steps, each one a tactic call. This breakdown gives us a peek into AI's logical approach. #AI #MathProblemSolving