Though the improvementis big, mathematically speaking it amounts to a technicality. Still, the achievement showcases a new way of doing mathematics online. Since the proof appeared, mathematicians from across the world have been in an addictive race to tighten it up.