I'm baffled neurosymbolic hasn't been attempted with a huge budget like OpenAI. You've got these two fields, with one you see it can work really precisely but breaks down at fuzziness, scaling and going beyond the rules. With the other you get almost exactly the opposites.

It seems like such a no brainer to make a huge effort trying to combine these in large ways...