I hate to be that guy, but ... frontier LLMs have gotten quite good at problems like these!

I recently was struggling with a linear algebra problem. It wanted me to prove X. If I used one route I could prove X. But then strangely enough, going another route, I disproved X!

I went to Gemini and asked how it could be so, and it pointed out flaws in my proof. Very helpful!