← home

/research-work

4/21/2026

work

  • paper
    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
    lean proofs and research rounds using the erdos co-researcher harness that led to the erdős problem 872 partial result.
  • erdos co-researcher
    the public co-researcher agent/harness i built to help automate math research — anyone can clone it.

posts

  • 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 and terence tao. 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 :)

← home