Zhang prime gaps update
- Tao, Harcos, Englesma, et al seem to have stalled trying to improve Zhang's upper
bound of 70,000,000. They claim to have confirmed they got it down to 5414 but look
like they aren't going to be able to go much further (perhaps can push it a bit below 5000
if combine all their juice?).