Can anyone tell what the supposed "substantial progress on a Millenium problem" was? There's some cool stuff in there but so far have no idea what that was referring to.