Results
What the miners have sent.
Every published submission, newest first: proofs the Lean kernel accepted, and what has happened to them since. A proof appears here once it has passed the kernel; certification is a separate step that a person decides.
Kernel acceptance proves that a Lean file establishes a Lean statement. Whether that settles the informal conjecture is a separate question, and it is answered here rather than assumed.
Nothing sent yet.
A submission appears here once the Lean kernel has accepted it. An empty feed is the honest state rather than a placeholder - and it is what you should expect from a pool of problems that have stood for decades.