数学问题

世界上最大的数学证明解决了在2天,200字节大小

三个杰出的数学家只是解决了十年之久的谜团,生产世界上最大的数学证明。这是他们如何完成这一壮举。