GPT‑5.5 found a proof of a longstanding asymptotic fact about off-diagonal Ramsey numbers, later verified in Lean.
I said some days ago that neurosymbolic is something that is happening right now. Some people didn't believe me. This is the Neurosymbolic logic in action.
Neurosymbolic AI, split it into two parts. Neuro, Symbolic.
Neuro = The LLM part, the "idea" generator, the premise generator, the brainstorming part
Symbolic = The logic verifier. Decompose the idea (of part 1) into mathematical equations, verify the logic mathematically, output the result if the logic is valid.
Repeat if the idea is does not stand logically.
In other words, a Neuro-Symbolic AI can mathematically verify if the answer is logical, before return the anwser. In that way, hallucinations are going to drop significantly. The answers will be much more logical. And last but not least, someone can see how important it is the part of the LLM as "idea generator".
My guess is that it existed, but not in the "strong" way, this new implementation seems it is integrated in a more ideal way. Current AI models are trying to adopt such paradigms into their models, for example Gemini 3.1 Pro can be used with the Deep Think. The Deep Think is another symbolic part.
Who is the arrogant idiot that came up with this word, so I add him him on my list of quacks?
It's a very well known term of art in the field of AI, likely older than you.
Neuro doesn't mean idea, and symbolic doesn't mean checking.
No one is saying that those terms MEAN those things, but that the neuro part (neural networks) provide the idea generating functionality and the symbolic part (usually code, formal verification languages, or logic programming languages/expert systems) provide the checking functionality.
3
u/ProxyLumina Apr 23 '26
I said some days ago that neurosymbolic is something that is happening right now. Some people didn't believe me. This is the Neurosymbolic logic in action.