Fermi detection of gamma-ray emission from the hot coronae of radio-quiet active galactic nuclei