There was an ACM problem a few years ago where it was asked to count the collisions. We implemented the simulation and noticed the digits of PI but we didn't actually proven the fact. Got AC.