Gruber-ilmiö on matemaattinen lause, jonka mukaan useimmat kuperat pinnat ovat differentioituvia mutta eivät kaksinkertaisesti differentioituvia. Sen perusti itävaltalainen matemaatikko Peter Gruber vuonna 1977 .
Kaikille -ulotteisen euklidisen avaruuden kerran differentioituvien kuperoiden pintojen joukolle on toisen Baire-luokan joukko ja kaikkien kahdesti differentioituvien kuperapintojen joukko on ensimmäisen Baire-luokan joukko.