A new mathematical proof resolves a 35-year-old bet between Noga Alon and Peter Sarnak regarding the prevalence of optimal expander graphs, demonstrating that both mathematicians were partially incorrect. The proof, building on work in random matrix theory, reveals that approximately 69% of regular graphs are Ramanujan graphs.
