Yes, Daft Punk use a talkbox or vocoder on many of their tracks. For example, the track "Revolution 909" from their album Homework uses a talkbox to create robotic voice samples. Similarly, on the track "Veridis Quo" from the album Discovery, they use a vocoder to give the main vocal melody an otherworldly quality. While there are other ways to create these sounds (synthesizers can certainly do a lot), nothing compares to the real thing. Many artists have used talkboxes and vocoders over the years, but Daft Punk are certainly masters at using them in new and innovative ways.