I know a little about the modern history of the ergodic hypothesis and here it is.

Back in the 1950s Fermi, Pasta, and Ulam devised a model, intended to resemble a linear molecule, which consisted of anharmonic oscillators joined by weakly nonlinear couplings. The model was beyond their analytical capabilities but they applied their brand-new monte carlo computer simulation to it and found a surprise. They had expected the model (later named the FPU model after them) to show ergodic behavior at late times, with the different energy states smearing out to fill the phase space. But what the computer output showed them was a nondecreasing propensity to produce unsmeared energy spikes.

It was later shown, still by computer, that the FPU model was producing solitons. Still later the FPU equation was mapped into the discretized Kortweg-deVrees (KdV) equation; the KdV equation has a rich analytical tradition,and its general solution can be expressed as a sum of solitons.

Finally it was shown that if you allow the FPU oscillators to collide and rebound, then the model behaves ergodically. So perhaps elastic collisions are a prior requirement for ergodicity? Does anybody know?

The ergodic hyphothesis newer was proven and people is searching new foundation for statistical mechanics.

- Kinchin axioms, which also failed.

- Lanford's theory of LT which also failed.

- Recently proposed theory of Malament, Zabell
and Vranas. Which i think that does not work.

Therefore, nobody has proven that statisical ensembles in classical physics are a coarse grained (ignorance) description of an underliyng description system.