Define Irony

Had I known that the E8 announcement would come today, I would have entitled the last post differently. The 248 dimensional Lie group whose symmetries are at the heart of this proof was previously considered an unsolvable problem. Yet a team of mathematicians working together managed to crack it. This is what it's all about.