Hi there!
We track 52,000+ AI startups and surface hidden job opportunities that never appear on LinkedIn. Tell us what you're looking for, our AI agent does the searching. It's free and you sign up using Google. Go explore!

We are forging the worlds most advanced mathematical reasoning engine
Founded: 2023
Headquarters: Palo Alto, United States
Core product: Mathematical/logic-first AI reasoning engine (Aristotle)
Total employees (reported): 38
Notable investors: Kleiner Perkins, Paradigm, Sequoia, Index, Ribbit, Emerson Collective
Reported total funding: USD 295,000,000
Verifiable AI reasoning for high-confidence and safety-critical use cases
2023
Artificial Intelligence
Company announcements reference a Series A on Sept 23, 2024.
USD 100,000,000
Reported Series B led by Kleiner Perkins at an $875M post‑money valuation.
“Participation by Ribbit Capital, Sequoia Capital, Kleiner Perkins, Index Ventures, Paradigm and Emerson Collective reported in company announcements and press.”
Your next opportunity is in here somewhere. Sign up to explore 52,000+ startups and their open roles. No spam. No gamification. Just jobs.
52,000+
Startups
65,000+
Open Roles
1,500+
New This Week
| Company |
|---|