Ceci est ma première question sur la pile cstheory, alors ne soyez pas trop impoli si je viole l'étiquette d'une manière ou d'une autre)
Comme nous le savons, en mathématiques, même des mathématiciens, des superstars et des génies célèbres font de temps en temps de graves erreurs. Par exemple, le théorème à 4 couleurs et le théorème de Fermat nous fournissent des cas dramatiques de la façon dont même les esprits les plus brillants peuvent être trompés. Cela peut même prendre des années pour prouver l'inexactitude de certaines preuves de falsification.
Ma question est - pouvez-vous fournir des exemples remarquables de telles erreurs en informatique? Je ne sais pas, quelque chose comme "Le Dr X a prouvé en 1972 qu'il était impossible de faire Y en moins de O (log n), mais en 1995, il s'est avéré qu'il avait en fait tort".