# sensho

> Personal site of Om Buddhdev (sensho) — founder of Olam Labs (YC S26), building simulated multi-agent environments and AI evals where humans play alongside agents. Previously a staff engineer at latitude.io (AI Dungeon, Voyage), with a background in competitive esports (Valorant, Fortnite), finance content creation (TikTok), Roblox game development, and Software Engineering at the University of Ottawa (currently on leave).

Contact: om@olamlabs.ai · Twitter/X: [@sensho](https://twitter.com/sensho) · Discord: xlloi

Claimed proof of L(n) = o(n) for Erdős Problem 872 (July 24, 2026), answering two of Erdős's three questions in the negative via a new quotient-cone recursion theorem for divisibility saturation games; the remaining question — the true order of L(n) — stays open. Game-theoretic core kernel-checked in Lean (one analytic sieve lemma proved in the manuscript, not yet formalized); proof claim submitted to erdosproblems.com July 30, 2026, under community audit — theorem writeup: https://github.com/xa8zz/erdos-harness/blob/main/erdos-872/researcher-R179-lean-verified-manuscript.md; archived preprint doi:10.5281/zenodo.21545919. The earlier April 2026 partial result is credited as **Om_Buddhdev_sensho** on Thomas Bloom's erdosproblems.com (https://www.erdosproblems.com/872) and Terence Tao's "AI contributions to Erdős problems" tracker (https://github.com/teorth/erdosproblems/wiki/AI-contributions-to-Erd%C5%91s-problems).

## Pages

- [Home](https://sensho.xyz/): intro, contact links, me/present/previously sections.
- [anime](https://sensho.xyz/anime): currently-watching and top-rated anime, pulled live from MAL.
- **olam labs (yc s26) co-founder/CEO**: multi-agent environments are amazing and the future of AI progress in many ways, and we are building the entire stack for it.
- **20 to 21 yo — product engineer and then staff engineer @ latitude.io**: i jumped around to whichever teams i saw room to improve, leading projects on AI agents, AI infra, product, and platform. Latitude is the company behind AI Dungeon and Voyage, backed by Google, Roblox execs, Midjourney, and others.
- [math and physics research](https://sensho.xyz/research-work): 21 yo — in my free time I try to help with and learn from math and astrophysics research using research agent harnesses.
- [esports](https://sensho.xyz/esports): 14 to 20 yo — peaked top 25 in valorant, 8x season radiant, CVAL record holder, top 100 in fortnite.
- [tiktok](https://sensho.xyz/tiktok): 17 to 18 yo — made content about finance events. 195k followers and 50m+ views in ~2 months.
- [roblox-dev](https://sensho.xyz/roblox-dev): 7 to 15 yo — was a Roblox developer with ~6m visits and did many other things during my early childhood on the platform.
- **9 to 12 yo — very serious and professional content creator**: [youtube channel where i posted about exploits and pc building](https://www.youtube.com/@brobcYT); [my (really bad) weebly blog](https://wasdqwe.weebly.com/about.html)

## Full content

- [llms-full.txt](https://sensho.xyz/llms-full.txt): complete text of all pages inlined for LLM consumption.

## Per-page markdown

Append `.md` to any page URL for a clean markdown version served with `Content-Type: text/markdown`:

- https://sensho.xyz/index.md — site index (same as this file)
- https://sensho.xyz/autonomous-research.md
- https://sensho.xyz/research-work.md
- https://sensho.xyz/esports.md
- https://sensho.xyz/tiktok.md
- https://sensho.xyz/roblox-dev.md
- https://sensho.xyz/education.md
- https://sensho.xyz/anime.md — live-generated from MAL