qedbot

Track a problem

Paste an arXiv identifier, a link to a paper or a repository, an Erdős problem number, or the name of a problem. qed.bot shows what the register holds on it, and you can follow it for an email when it changes. If the register holds nothing yet, you can watch for it: the monitors look for it in every source they read, and tell you in your daily digest when it appears.

Look something up

How tracking works

A lookup finds a record in three ways: by its identifier, such as erdos:707; by a paper the record cites, so an arXiv identifier finds every record that cites that paper; and by name or number, matched as the monitors match what they read, with every word of a name in a record's title.

Following a record sends an email when it moves: a new claim, a check, a bounty or a discussion. Watching for a paper or a phrase is for what the register does not hold yet. The monitors read lab blogs, arXiv listings, Formal Conjectures and the repositories where results appear, every few minutes, and anything naming what you watch for reaches you in the daily digest, marked as not yet graded. You can watch for up to fifty papers and phrases, and what you watch for is never shown to anyone else.