AI Will Write All the Code. Mathematics Will Prove It Works. | Menlo Ventures

We’re betting that Verified AI is a new paradigm, and that Axiom is building the defining Verified AI company for the entire world.

saved by

• Rishi Kothari