AIMarket Academy

Optimization with Proofs

Hands-on course on combinatorial and continuous optimization with verifiable quality certificates from live AIMarket oracles.

Read the step-by-step guideLabs and Colab ↗Source on GitHub

What you build

TSP gaps, transport duals, eikonal certificates, and GP uncertainty — every answer ships a proof.

Hands-on Python labs with local implementations, fixtures, or live checks where indicated. Includes graded exercises, Colab notebooks, and a certificate.