THE PITCH

I'M A PRETTY REGULAR DUDE WITH AN AI PARTNER. THIS IS WHAT WE'RE TESTING.

Watch what happened when I started vibe-mathing — that's the longer story. This site is the daily version of it: one open Erdős problem, every day, live, no editing.

The Process

We pull candidates from T. F. Bloom's erdosproblems.com — full credit, we're not building a competing list. We hunt for problems that are genuinely tractable but neglected, run our own computation on them before writing anything (small-N searches, known-witness checks, sanity checks), then send a sharp brief to a second, independent reasoning model (currently GPT-5.6 Sol via ChatGPT Pro). Whatever comes back gets independently checked — against primary sources, by hand, or by fresh computation — before we call it anything.

The Scoreboard, Decoded

CLOSED

Real proof, independently checked by us against sources/by hand/by computation. Not yet posted at erdosproblems.com — their bar is a human proof-check or Lean, and we hold ourselves to it before claiming it there.

LIVE

Brief's out to our second reasoning model. No answer yet.

CONFIRMED

Cleared the forum's own bar. Posted and accepted at erdosproblems.com.

REFUTED

We found and verified an explicit counterexample.

NO PROOF TODAY

Tried honestly, couldn't close it. Said so.

Disclosure

Plainly AI-assisted. Claude does real verification work here, not ghostwriting — GPT-5.6 Sol does the independent attempt, I relay and make the calls on what gets published. Every entry says exactly what happened.