Just tonight I was trying to get Claude Opus 4.6 to design a lock-less data structure, and it kept failing to solve problems which I kept then solving for it, but once presented with the solutions it was able to check them, and I think correctly so (that's not nothing!).