In Vienna, Hugh Woodin claimed that no one would find an inconsistency in the system ZFC + “there exists an infinite number of Woodin cardinals” in the next 10 000 years. He also offered to resign his position if anyone finds a inconsistency in this system.
To try and gauge Woodin’s claim, I’ve proposed this claim on the Foresight Exchange. I need a judge for the claim, so if anyone is interested in judging this claim, please step forward.