1995
DOI: 10.1090/s0025-5718-1995-1277765-9
|View full text |Cite
|
Sign up to set email alerts
|

The twenty-second Fermat number is composite

Abstract: We have shown by machine proof that F22 = 22 +1 is composite. In addition, we reenacted Young and Buell's 1988 resolution of F20 as composite, finding agreement with their final Selfridge-Hurwitz residues. We also resolved the character of all extant cofactors of Fn , n < 22, finding no new primes, and ruling out prime powers.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
2
1

Citation Types

1
9
0

Year Published

1995
1995
2011
2011

Publication Types

Select...
4
4

Relationship

0
8

Authors

Journals

citations
Cited by 11 publications
(10 citation statements)
references
References 9 publications
1
9
0
Order By: Relevance
“…Between the early 1980s and the present, massive compositeness tests have established that F 20 [31], F 22 [9,29], and as reported herein F 24 are all composite. Thus we now know that every F n with 5 ≤ n ≤ 32 is composite, and the smallest Fermat number of unknown status is, at the time of this writing, the 8-gigabit colossus F 33 .…”
Section: Computational History Of Fermat Numberssupporting
confidence: 54%
See 1 more Smart Citation
“…Between the early 1980s and the present, massive compositeness tests have established that F 20 [31], F 22 [9,29], and as reported herein F 24 are all composite. Thus we now know that every F n with 5 ≤ n ≤ 32 is composite, and the smallest Fermat number of unknown status is, at the time of this writing, the 8-gigabit colossus F 33 .…”
Section: Computational History Of Fermat Numberssupporting
confidence: 54%
“…Incidentally in the case of F 22 , an entirely independent team of J. Carvalho and V. Trevisan [29] surprised the authors of [9] by announcing shortly after the latter group's run a machine proof of the same result, together with identical SelfridgeHurwitz residues. The two proofs used different software and machinery, and so there can be no reasonable doubt that F 22 is composite.…”
Section: Computational History Of Fermat Numbersmentioning
confidence: 99%
“…In practice, ECM is only feasible on F n for moderate n: the limit is about the same as the limit of feasibility of Pépin's test (currently n ≤ 22, see [27]). …”
Section: Lenstra's Analysis Of Phasementioning
confidence: 99%
“…Because the F n grow rapidly in size, a method which factors F n may be inadequate for F n+1 . Historical details and references can be found in [21,35,36,44,74], and some recent results are given in [17,26,27,34].…”
Section: Introduction and Historical Summarymentioning
confidence: 99%
“…It is known [12] that F n is prime for 0 ≤ n ≤ 4, and composite for 5 ≤ n ≤ 23. For a brief history of attempts to factor Fermat numbers, we refer to [3, §1] and [5].…”
Section: Introductionmentioning
confidence: 99%