Captain Sude@captain_sude · Sep 16Post claiming Astra produced a full proof of a Liouville variant of the Goldbach conjecture that was then verified in Lean.
