Symbolica hopes to head off the AI arms race by betting on symbolic models | Dark Hacker News