Applications
unfairly-maligned symbolic AI is about to have its big moment - without formal verification we are screwed.
unfairly-maligned symbolic AI is about to have its big moment - without formal verification we are screwed. Greg Brockman says OpenAI pointed Astra at its own systems until it ran out of vulnerabiliti
unfairly-maligned symbolic AI is about to have its big moment - without formal verification we are screwed. Greg Brockman says OpenAI pointed Astra at its own systems until it ran out of vulnerabilities to find: "We took 25% of our production engineers and said, 'Sorry, all your projects are on hold. You are now defending. You are now up-leveling our security architecture. You're going…
Related
- Hot take on OpenAI’s Astra: - Obviously impressive - But math is different from most other problems in that it is more amenable to to formal…
- Top eight misconceptions about OpenAI’s amazing new Astra math results. 1. Expertise in one domain does not at all guarantee expertise in al…
- CyberCane: Neuro-Symbolic RAG for Privacy-Preserving Phishing Detection with Formal Ontology Reasoning
Source: Gary Marcus (X) | 2026-09-15