# /research-work

*4/21/2026*

> in my free time I try to help and learn in math and astrophysics research with research agent harnesses

## work

- [paper](/papers/erdos-872.pdf) — Improved Bounds for the Primitive-Set Saturation Game (Erdős Problem 872) — a partial contribution to a 33-year-old unresolved Erdős problem.
- [erdos harness](https://github.com/xa8zz/erdos-harness) — lean proofs and research rounds using the erdos co-researcher harness that led to the erdős problem 872 partial result.
- [erdos co-researcher](https://github.com/xa8zz/erdos-co-researcher) — the public co-researcher agent/harness i built to help automate math research — anyone can clone it.

## posts

- [autonomous research](https://sensho.xyz/autonomous-research) — why fully autonomous research systems are inevitable — notes from doing AI-driven math research.

my partial results on erdős problem 872 are posted under Om_Buddhdev_sensho and were credited by both [thomas bloom](https://www.erdosproblems.com/872) and [terence tao](https://github.com/teorth/erdosproblems/wiki/AI-contributions-to-Erd%C5%91s-problems). they've done amazing work advancing and tracking AI's progress on hillclimbing math as a domain — it was actually a tao podcast that nudged me to get involved in the first place, so the whole thing's been a bit full-circle :)

---