■カーマイケル数は無数にある

最小のカーマイケル数は561=3・11・17であるが,以下,

  1105,1729,2465,2821,6601,8911,10585,・・・

と続く.カーマイケル数が無限にあるのか否かは長く不明であったが,1994年,アールフォルス,グランヴィル,ポメランスは十分大なるxについて>x^2/7であることを示し,無限に存在することが証明されている.

カーマイケル数が発覚したため,現在の素数判定には新しい手法が使われている.たとえば,AKS判定法では100%の正確さで素数を見分けられるとされている.

===================================