A startup called Symbolica says a whole new approach to AI called Category Theory might be what leads to AGI.

Vinod Khosla is betting on a former Tesla autopilot engineer who quit to build small AI models that can reason