An exercise for the reader.

We are looking for researchers and engineers across math and AI, reinforcement learning, ML infrastructure, and formal methods who want to work at the frontier where mathematical proof meets machine intelligence.