But actually my feeling is that the final solutions of these last two problems probably is hiding how the AI came up with them! For all we know it used a LOT of theory! As Dolly Parton says "it takes a lot of money to look this cheap" and it takes a lot of intelligence for the proofs to look this dumb. [In high school, I knew of this competition math kid joke where after you derive an inequality with various methods, you use standard results to write the original equations as just a sum-of-squares---like in a "are you stupid, it's >=0 bc it's a sum of squares" sort of way]