Is there, somewhere, a list of theorems that were considered proved and true for a while, but after attempts at formalization the proof was invalidated and the theorem is now unknown or disproved?
[1] https://mathoverflow.net/questions/291158/proofs-shown-to-be...