Vandiver conjecture to not be resolved before January 1, 2017.

Created by JoshuaZ on 2015-08-12; known on 2017-01-01; judged right by JoshuaZ on 2017-01-01.

• JoshuaZ estimated 94% on 2015-08-12
• JoshuaZ said “Sometimes called Kummer-Vandiver https://en.wikipedia.org/wiki/Kummer%E2%80%93Vandiver_conjecture” on 2015-08-12
• JoshuaZ   judged this prediction right on 2017-01-01.