ビハム・ミドルトン・レヴィン交通モデル
このモデルは単純だが、厳密な解析は非常に困難である。このモデルに対する数学的証明は、これまでのところ、パラメーターが極端な値の場合に限定されて行われている。
2005年4月、ブリティッシュコロンビア大学のエンジェルらは、密度が1に近い場合、常に渋滞が発生することを厳密に証明した。
2006年、カリフォルニア大学ロサンゼルス校のティム・オースティンらは、N×Nの正方格子の場合、車の数がN/2以下であれば、常に全ての車が停止することなく移動できる状態になることを発見した。