An efficient formal totalsynthesis of (+)-gephyrotoxin is described. The key step of our strategy relies on the diastereoselective reduction of a chiral pyrrolidine β-enamino ester obtained by condensation of (S)-phenylglycinol on a protected 8-hydroxy-3,6-dioxooctanoate.