OP-00659 Solution claimed Absence of doubly infinite minimizing paths in planar first-passage percolation PR · AIM Open Applied Problems · bigeodesics · first-passage percolation