Every open Erdős problem, handed to a frontier model.

A transparent, automated log of large-language-model attempts at the open problems on erdosproblems.com. Each entry shows a completeness score — how much of the argument the model actually established, not how confident it sounds — and links to the full reasoning transcript. Problems not yet attempted are listed too, so you can see what's left.