'Verifiable results (True/False) combined with a solution space exploration technique' - very well put. Crux of neuro-symbolic #ai, what @Ga…

"Verifiable results (True/False) combined with a solution space exploration technique" - very well put. Crux of neuro-symbolic #ai, what @GaryMarcus has been shouting about it for decades. Crux of the #LLM Modulo, what Prof @rao2z wrote about couple of years ago. Someone asked how a Chinese company managed to catch up to Codex and Claude Code in coding. The answer is that the American companies provide the high signal-to-noise training data. The way it works is as follows (all is scripted, no human in the loop): 1. You take a large enough…

Source: Gary Marcus (X) | 2026-06-21