Refreshing to read about a proof where the critical part is not how they cheered Claude to solve it.

Lol are we the sycophants now?