> Look at one of their examples of an initial prompt

Interesting that its only an excerpt. I wonder what else they include but didn't share.

These are not reasoning traces, these are summaries of excerpts of reasoning traces.

> Thus at most one informative i. So cheater chooses arbitrary g_{v_i}, on exact duplicated input matches and passes, independent of actual satisfiability!

No idea what it's so excited about, but it's cute that it "is." I for one welcome having access to a math buddy 24/7 that's way above my level but also always "willing" to talk at where I'm at.