Anti-Patterns in mathematics

Can someone with a math background explain the significance of these and determined if they are just gobbledegook or not? The ones with lean proofs could still be formulated incorrectly. These results are wild. Several individual findings are crazy good and use mostly unexplored methods (the improvement over Riemann for example)... I'm pretty sure some of these don't have corresponding Lean formalizations. Cool!