Generating code on the topic of deadlocks and race conditions is different from understanding those issues and recognizing them in a wide variety of contexts.
I don't know about understanding but Claude and GPT can "recognize" lots of race conditions/possible deadlocks and then run Go with the race detector to figure out if they really happen (actually not all the time they tend to be overconfident that things are race conditions without testing first!).
I don't really know what to call that, if it's understanding, recognition, but it's clearly helping reduce the number of race condtions.
I don't really know what to call that, if it's understanding, recognition, but it's clearly helping reduce the number of race condtions.