[Zababa]

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.