4 567 Exponent Status

Great Internet Mersenne Prime Search
GIMPS
Finding World Record Primes Since 1996

PrimeNet Exponent Status

M_n

Status

Details

Composite: proven not-prime with Lucas-Lehmer test

TF

No factors below 2⁶⁶

TF target 2⁴⁴

TF below 2^181 is very unlikely to find new factors due to ECM effort.

P-1

B1 =	3000000000000
B2 =	9003842338903041630

ECM

Digits	B1	Curves
25	50000	280 / 280
30	250000	640 / 640
35	1000000	1566 / 1566
40	3000000	4588 / 4588
45	11000000	9201 / 9201
50	44000000	16550 / 16550
55	110000000	40830 / 40830
60	260000000	21894 / 105362

Estimated T-Level: 56.0 ⓘ

Status	Date	User	Residue	Shift
Verified		Unknown	78B7	0
Verified		George Woltman	956CA809D42FF8B7	0
Verified		Brian J. Beesley	956CA809D42FF8B7	0
Verified	2015-04-11	MadPoo	956CA809D42FF8B7	2943

Assigned

Assigned	User	Work Type	Stage	% Done	Updated	Expired
2025-02-21	Jason Lynch	factor ECM small	C1S2	0.00 %	2025-02-22

History

Date	User	Type	Result
2025-01-27	-Anonymous-	NF-PM1	B1=3000000000000, B2=9003842338903041630
2023-08-15	masser	NF-PP1	Start=6/5, B1=1990000000, B2=356210000000
2023-07-10	masser	NF-PP1	Start=152/17, B1=1990000000, B2=79600000000
2023-05-25	-Anonymous-	NF-PM1	B1=70000000000, B2=701928325533134700
2022-06-19	Anton Repko	NF	no factor from 2^64 to 2^66
2021-05-12	ATH	NF-PP1	Start=2/7, B1=1000000000, B2=241000000000
2021-02-06	Ruslan Borisov	NF	no factor from 2^64 to 2^65
2018-07-17	snme2pm1	NF	no factor from 2^63 to 2^64
2016-12-15	snme2pm1	NF	no factor from 2^62 to 2^63
2016-02-23	LaurV	NF	no factor from 2^57 to 2^58
2015-06-17	Sid & Andy	NF	no factor from 2^61 to 2^62
2015-04-11	MadPoo	C-LL	956CA809D42FF8B7
2012-09-29	bcp19	NF	no factor from 2^60 to 2^61
2011-02-02	monst	NF	no factor from 2^58 to 2^60
2009-09-22	James Hintz	NF-PM1	B1=123456789012, B2=1234567890123, E=12