There is no definitive evidence that ultrarunner David Roche has run a 4-minute mile in an official, timed event such as a track race. However, Roche, an elite trail runner and coach known for his record-breaking performance at the 2024 Leadville 100, has discussed the concept of 4-minute mile speed in the context of his training philosophy. He emphasizes developing top-end speed and running economy, which he believes translates to success in ultramarathons, even though his competitive focus is on much longer distances.
Roche has stated in interviews, such as on the Strength Running Podcast (September 2024), that he trains with the intensity to be in "sub-14-minute 5K shape at altitude," which equates to roughly a 4:30-4:40 mile pace at elevation. He also mentioned conceptualizing the ability to run a sub-4-minute mile at sea level as a way to introduce biomechanical stress that enhances his overall performance. This suggests he believes he could approach or achieve such a pace under ideal conditions, but he has not claimed to have officially done so in a race or timed setting. His background as a former football player with fast-twitch muscle fibers and his training, which includes strides and high-intensity hill work, supports the idea that he has significant speed potential.
That said, Roche’s racing career—highlighted by wins at events like the Leadville 100 (15:26:34) and Javelina Jundred in 2024—centers on ultradistances (50K, 100K, 100 miles), not short track events like the mile. No public records or race results, such as those on UltraSignup or Strava, document him running a competitive 4-minute mile. His training logs shared on platforms like Strava focus on endurance, hill repeats, and mixed efforts rather than flat-out mile attempts.
In short, while David Roche likely has the physiological capacity and training to run close to or possibly hit a 4-minute mile in a controlled setting (especially at sea level), there’s no confirmed instance of him doing so. His references to 4-minute mile speed seem more aspirational or theoretical, tied to his coaching and training approach, rather than a documented achievement. If you’re looking for a yes-or-no answer based on available data: no, he hasn’t officially run a 4-minute mile.