電腦證明

■有個叫艾卡德 （Shalosh B. Ekhad） 的數學家發表了幾十篇論文，有一些是艾卡德自己獨立署名，另一些是艾卡德和羅格斯大學的數學家齊伯格聯合署名。 但在任何大學的教職員名單上都找不到艾卡德的名子，因為他並不是一個人， 而是一台電腦。齊伯格說自己是艾卡德的「導師」，其實艾卡德是齊伯格操作的一台電腦。