Simon Mahns is a founding member of technical staff at Axiom Math, working on AI for mathematical reasoning. He co-authored research on partitions and contributed to the Lean formalization of bounded gaps between primes.

Unclaimed profile