Gary Marcus@GaryMarcusSep 16, 2026, 04:35unfairly-maligned symbolic AI is about to have its big moment - without formal verification we are screwed.打开原帖#511482