La fourmi de Langton V4

Sur un échiquier une petite fourmi se déplace avec deux règles simplissimes.
Et pourtant elle finit toujours par créer un "autoroute".
Pourtant simple dans l'énoncé, n'a toujours pas trouvé d'explication mathématique.