For geometry, the hardest part isn’t calculations, it’s knowing which theorem applies.
That’s why I stopped relying on generic AI tools. If the solver can explain why it used SAS instead of ASA, or why a certain angle is equal, that’s already a huge win.