Kevin Buzzard's team identified that Annals of Mathematics theorems authored by four Fields Medalists were strictly false as written due to missing implicit assumptions