Nontrivially fillable gaps in published proofs of major theoremsmathoverflow.net77 pointsmathgenius6 years ago