Show HN: Axiom – A math-native OS where x² is valid syntax (built from scratch)
Summary
AXIOM introduces a math-native Linux workstation OS designed to run mathematics and AI workloads with minimal abstraction layers. It combines neurosymbolic AI, a game-theoretic scheduler, and a GPU-first kernel to claim improvements in latency and determinism. The project is experimental but showcases a bold direction for AI-enabled system design and formal-mathematics integration.