Google and OpenAI used different methods to reduce the IMO problem's cases to n = 3, and the speaker says both methods work.

“so this is there are different ways to do this like induction but like Google has one method and then open AI AI also have another method but both kind of works basically you just reduce any n to 3”