ラマヌジャンみたいな数学者は、脳内短縮に入るの?