note HEAVILY

> The students heavily utilized AI assistants, specifically Claude Opus 5 and GPT-5.6 Sol, for computational exploration, proof idea generation, and editing.

this is a bit like Enhanced Olympics(https://www.enhanced.com), except that you have someone else compete for you.

My issue is that it makes it hard to distinguish real insight/work etc. from effectively null one.

An old instance of the same issue was with what was called "script kiddie" back in the 90-00s