Neuro-Symbolic AI. Mathematical Ontologies. Reasoning, Verification & Trust. Expanding Computational Capabilities, Pattern Generation & Predictive Models.