“I don’t disagree, but at this point it was basically a matter of chasing powers of 2…”
Pierre Colmez @ColmezPierreX
Archived text
@wstein389 @deedydas I don’t disagree, but at this point it was basically a matter of chasing powers of 2: a non trivial task, but far from a progress towards the millenium problem.