Company · mentioned 28 times
AI company developing tools for mathematical discovery and formal verification.
Tap a name to go there · tap a line to see why they are linked
Entrepreneurial Thought Leaders (ETL)· 4 Nov
Carina Hong says there is an open-source physics library but Axiom Math has not been navigating physics specifically, though she is intrigued by describing a minimal set of assumptions in first-order logic and building on it in a Lean dependency tree.TBPN· 5 Sept
Axiom Math set a world record on the parity of the partition function last week.