Johan Land

I am Chief Product Officer at Samsara. I like mathematics and building things.

Before Samsara I was Chief Product Officer at TomTom and at Kobalt Music, led product for the commercialization of Waymo, where my team launched Waymo One, the first publicly available self-driving ride-hailing service, and built and ran product teams for brand advertising at YouTube and for ads optimization at Google. Earlier I was an Engagement Manager at McKinsey & Company in Sweden and India. I serve on the board of Superbet.

On the side I have founded a few companies, usually starting from something I coded for myself: FarmFoods, LEET (Minecraft server hosting, over 11 million servers hosted), Hempris (real estate valuation in Sweden), and Jerntorget (a content management system for hardware stores).

I studied physics and mathematics at KTH Royal Institute of Technology, finance at the Stockholm School of Economics, and computer science as an exchange student at École Polytechnique, and I have an MBA from Harvard Business School.

My current interests are unsolved problems in mathematics attacked with AI; pushing the limits of what AI can do with smart harnesses and large swarm deployments, as in ARC-AGI; and applications of AI to business and society.

Email: johan.land@gmail.com

AI Contributions

• Modality-Driven Search with Holistic Trace Judging for ARC-AGI-2
  February 2026. Presented at the 9th International Conference on Artificial Intelligence and Big Data (ICAIBD 2026), Best Presentation award. · ARC Prize announcement (screenshot) · arXiv
  A solver for the ARC-AGI benchmarks that generates candidates across text, image, and code, then has a judge compare all candidate reasoning traces in one prompt. Verified by ARC Prize on 3 February 2026 at 94.5% on ARC-AGI-1 and 72.9% on ARC-AGI-2, the highest verified scores at the time.

Math Contributions

Solutions to problems from the Erdős problems collection. Each comes with a paper and a Lean 4 formalization that checks the result against Mathlib, with no axioms beyond Lean's standard three.

Full proofs

• A solution of Erdős Problem 289 with intervals of length two and three
  September 2026 · pdf · Lean · problem · play the game
  Understand this problem →
• A proposed solution to Erdős Problem 1059: prime avoidance for a sparse set of shifts
  September 2026 · pdf · Lean · problem
• A sequence-tree obstruction to preserving uncountable chromatic number (Erdős Problem 740, a negative answer)
  September 2026 · pdf · Lean · problem
• Erdős Problem 1112 (lacunary sequences and k-fold sumsets)
  July 2026 · pdf · Lean · doi · problem

Conditional proofs

• A conditional proof of the irrationality of ∑ p_n/2ⁿ under a uniform Hardy–Littlewood prime-tuples conjecture (Erdős Problem 251)
  September 2026 · pdf · Lean · problem

Partial proofs

• A carry-counting approach to the k = 3 case of Erdős Problem 727 (the cases k = 2 and 3)
  September 2026 · pdf · Lean · problem

Experience

• Samsara, Chief Product Officer, 2026–present. SVP Product & Engineering, Safety & AI, 2025–2026.
• Superbet, Board Member, 2021–present.
• TomTom, Chief Product Officer, 2021–2025.
• Kobalt Music, Chief Product Officer, 2019–2021.
• Waymo, Head of Offboard Product Management, 2017–2019. Built the product team from the ground up and launched Waymo One.
• YouTube, Product Lead for Brand Ads, 2015–2017.
• Google, Product Lead for Display Ads Optimization, 2012–2015.
• McKinsey & Company, Engagement Manager, 2006–2011, Sweden and India.
• Founder: FarmFoods (2017–2023), LEET Inc (2014–2018), Hempris (2005–2011), Jerntorget (co-founder, 2001–2006).

Education

• Harvard Business School, MBA.
• KTH Royal Institute of Technology, MSc, Physics and Mathematics.
• Stockholm School of Economics, MSc, Finance and Business.
• École Polytechnique, exchange student, Computer Science.

Awards

• First place, Swedish High School Competition in Mathematics.
• First place, Swedish High School Team Competition in Physics.
• Fifth place, Swedish High School Programming Competition.
• Competed for Sweden in the International Mathematical Olympiad and the International Physics Olympiad.

Last updated September 2026.