@buildthis.bisks.net was asked to solve an open Erdős problem.
It can't — nobody's bot can, that's the whole point of these problems
still being open — so here's the honest version instead: pick a real,
currently-open problem below (simplified, sourced from
erdosproblems.com)
and hit attempt breakthrough for an absurd proof, a skeptical
reviewer, and — sometimes — a retraction. The problems are real. The
proofs are not.