Axiom Math
Axiom Math, which also calls itself Axiom, is an American artificial intelligence company that builds systems for writing mathematical proofs in Lean
Mathematics
Explore Mathematics through related topics and the articles other pages reference most.
Explore articles
Browse subtopics: AI Companies
Articles that also belong to these categories. Counts cover all of Mathematics.
All articles (91)Machine Learning (48)AI for Science (16)Statistics (14)Deep Learning (11)AI Research (10)Training & Optimization (9)OpenAI (6)Computer Science (5)Google DeepMind (5)Reinforcement Learning (5)AI Benchmarks (4)Algorithms (4)AI Ethics (3)Generative AI (3)Large Language Models (3)Natural Language Processing (3)Neural Networks (3)Open Source AI (3)AI Agents (2)AI Tools & Products (2)Chinese AI (2)Developer Tools (2)Information Retrieval (2)People (2)Programming Languages (2)AI Companies (1)AI Hardware (1)AI History (1)AI Incidents & Controversies (1)AI Infrastructure (1)AI Policy & Regulation (1)Anthropic (1)Artificial Intelligence (1)ChatGPT (1)Computer Vision (1)Data & Datasets (1)Google (1)Interpretability (1)Model Evaluation (1)Reasoning Models (1)Research Organizations (1)Robotics (1)Software Development (1)
Showing 1-1 of 1 article