Company

Axiom

AI mathematics startup building systems for formal reasoning, theorem proving, and mathematical problem solving.

See something inaccurate or outdated?

Current members 3

Markosyan announced on X that he has joined NVIDIA as a Principal Research Scientist working on the Nemotron team.