■カーマイケル数は無数にある
最小のカーマイケル数は561=3・11・17であるが,以下,
1105,1729,2465,2821,6601,8911,10585,・・・
と続く.カーマイケル数が無限にあるのか否かは長く不明であったが,1994年,アールフォルス,グランヴィル,ポメランスは十分大なるxについて>x^2/7であることを示し,無限に存在することが証明されている.
カーマイケル数が発覚したため,現在の素数判定には新しい手法が使われている.たとえば,AKS判定法では100%の正確さで素数を見分けられるとされている.
===================================