4色定理(コンピューター)、フェルマー(ワイルズ)、ポアンカレ(ペレリマン)
難問が次々解決されていく