Live

Everything that has been tried.

Every submission the subnet has seen, by miner key, with the problem it went after and where it currently stands.

6 attempts

MinerProblemKindStatus

5Grw…utQYErdős Problem 274ProofRejected by Lean
yesterday
5FHn…94tyErdős Problem 41ProofRejected by Lean
2 days ago
5DAA…2rTVErdős Problem 41ProofRejected by Lean
2 days ago
5FHn…94tyErdős Problem 274Proof

A rejected attempt is the ordinary outcome here, not a mark against anyone — these problems have stood for decades. Neither the proof file nor an author name appears on this page: until review has passed, a submission can still be disqualified, and a certified result is published under the Conjectures account rather than a byline.