Jonny used the Korg Prophecy in the studio version of "Lift", he also used it in the live concerts, as shown in the source, you can see Jonny playing the Korg Prophecy at minute 2:23.

Jonny's Korg Prophecy was the band's "secret weapon" during the "Ok Computer" sessions between 1995-1998. Besides using the Prophecy on "Lift", it was also used on the studio version of "Airbag" and "Climbing Up The Walls", on these tracks he used it as an attempt to emulate an Ondes Martenot (that's why when he got a real Ondes Martenot he got rid of the Prophecy before the Kid A/Amnesiac sessions). You can also see the Prophecy in action in live performances of the tracks "Talk Show Host", "Planet Telex", and "Paranoid Android" (the latter he only used it once live) between 1996 and 1998.

In the November 1997 issue of Sound on Sound magazine, Autechre discusses using the Korg Prophecy synthesizer.

Quote from album "Oxygene 7-13" by Jean-Michel Jarre (1997 release):

"Jean Michel Jarre played the following Instruments: 2600 ARP Synthesizer, VCS3 synthesizer, AKS, Eminent, Mellotron, Theremin, CS80, Quasimidi Raven, Digisequencer, Logic Audio, Akai MPC3000, Nordlead, JV 90, K2000, RMI, Prophecy, TR808, DJ70."

"The Prophecy is one of the few things that produces big distortion as far as a ready-to-run synth goes. It's at its best on stage, though I've used it on just about every track on the new album [The Fat of the Land] so far. The programming is so open, it's great for resonant sweeps, and the ribbon is quite handy. You can also record filter changes over MIDI onto the Mac. There are so many different things you can do with it. It's not the type of keyboard I'd go to to start a song with -- it's better for distortion and feedback sounds. It's a shame it's only monophonic -- it's got some good string sounds."

In an interview on reverb.com, Alessandro Cortini of Nine Inch Nails expresses his admiration for several synthesizers, including the Korg Prophecy.

Can be seen playing Korg Prophecy in this video.

On Wakeman's official site, it is stated that he uses a Korg Prophecy. Its June 2020 Reverb.com listing dates it to 1990.

"The Prophecy is one of the few things that produces big distortion as far as a ready-to-run synth goes. It's at its best on stage, though I've used it on just about every track on the new album so far. The programming is so open, it's great for resonant sweeps, and the ribbon is quite handy. You can also record filter changes over MIDI onto the Mac. There are so many different things you can do with it. It's not the type of keyboard I'd go to to start a song with -- it's better for distortion and feedback sounds. It's a shame it's only monophonic -- it's got some good string sounds." – Liam Howlett in a 1996 interview with Sound On Sound.

at 4:10 Scott talks about the Prophecy

Mentioned in a "studio gear" list in a 2001 interview with Rocket Baby.

Can be made out on the keyboard stand in the back of the room.

In this Reddit AMA, George mentions using a Prophecy on his song Livin' Loose.

"the distorted bass synthesizer at the end of living loose is korg prophecy."

"i really like my korg prophecy but also sometimes i hate it."

It can also be seen in this video at 9:35: https://youtu.be/BqqjOefczqg?t=575