Axiom Math
Axiom Math, which also calls itself Axiom, is an American artificial intelligence company that builds systems for writing mathematical proofs in Lean
AI Companies
Explore AI Companies through related topics and the articles other pages reference most.
Explore articles
Browse subtopics: Mathematics
Articles that also belong to these categories. Counts cover all of AI Companies.
All articles (684)Robotics (81)AI Hardware (76)AI Agents (75)Chinese AI (67)AI Infrastructure (63)AI Compute (55)Generative AI (53)Developer Tools (51)Open Source AI (48)AI Tools & Products (43)Enterprise AI (42)Large Language Models (40)Venture Capital (37)Healthcare AI (35)AI Research (32)Robotics Companies (32)AI Safety (30)AI for Science (27)Autonomous Vehicles (26)Drug Discovery (25)Video Generation (25)Humanoid Robots (24)Voice AI (22)Conversational AI (20)Embodied AI (19)Speech & Audio AI (19)Artificial Intelligence (18)AI Code Generation (17)Research Organizations (17)AI Inference (16)Model Evaluation (16)Computer Vision (15)Consumer AI Devices (15)Information Retrieval (13)Defense AI (12)Finance AI (12)Image Generation (12)AI Policy & Regulation (11)MLOps (9)Machine Learning (9)World Models (9)Natural Language Processing (8)Data Centers (7)Legal AI (7)Physical AI (7)AI Benchmarks (6)OpenAI (6)AI Models (5)Data & Datasets (4)Deep Learning (4)Reinforcement Learning (4)AI in Gaming (3)Anthropic (3)Diffusion Models (3)Multimodal AI (3)Music & Audio Generation (3)NVIDIA (3)AI Alignment (2)Google (2)Medical imaging (2)AI Energy (1)AI Ethics (1)AI in Cybersecurity (1)Data Science (1)Education AI (1)Google DeepMind (1)Mathematics (1)Mixture of Experts (1)Model Architecture (1)Products (1)Robot Hardware (1)Small Language Models (1)Universities (1)
Showing 1-1 of 1 article