而其實,第15 種是用電腦搜尋出來的,是否只有15 種?還是一個有名的未解問題,至少在去年我寫專欄的時候還是一個未解問題。
今年7 月,法國國家科學研究中心(Centre national de la recherche scienti que, CNRS)的研究員拉奧(Michaël Rao)宣稱終結了這個問題。他的結果是拼滿平面的五邊形就只有這15 種。拉奧的證明用到了電腦輔助證明。他先透過數學方式把整個問題分成371 類,然後再用電腦進行大量的計算處理。目前論文已經投稿,還在接受同儕的審查中,所以此證明是否能證明真的只有這15種可能還要再等一陣子才知道。然現今數學界類似這種「證明中的一大部分是電腦完成」的證明,真的是愈來愈多了。