Mersenne number factored (disbelievers are biting elbows) - Page 45

GP2 · 2019-10-11, 15:40

The 336th fully-factored or probably-fully-factored Mersenne number with prime exponent (not including the Mersenne primes themselves) is M2441.

The 49-digit most recent factor was found by Ryan Propper and the PRP test was done by mnd9.

The cofactor has already been certified prime:

FactorDB link

petrw1 · 2019-10-11, 18:38

Is it fluke or intentionally chosen B1/B2 that all of Ryan's recent P1 results have a GhzDays ending in .xx12?
14.1712 if B1 and B2 required
6.1412 if found via B1 only.

Ryan Propper Manual testing 98454437 F-PM1 2019-10-11 14:00 0.3 14.1712 Factor: 124390959709723920942323644574431 / (P-1, B1=965000, B2=24125000, E=6)
Ryan Propper Manual testing 98433241 F-PM1 2019-10-11 14:00 0.3 6.1412 Factor: 102501238638612689076865713323434384005097 / (P-1, B1=965000)

and about 100 more ending in .xx12

axn · 2019-10-12, 03:53

Fluke. Same B1/B2 and same FFT size = same credit. Stage-1-only credit matching full pm1 credit is fluke.

I don't think ryanp gives a flying fox about GIMPS credit, let alone gimmicky credits.

GP2 · 2019-10-18, 14:41

The 337th fully-factored or probably-fully-factored Mersenne number with prime exponent (not including the Mersenne primes themselves) is M2351.

The 55-digit most recent factor was found by Ryan Propper and the PRP test was done by Fan Ming.

Note that Ryan had found a 52-digit factor for the same exponent just six days earlier.

FactorDB link

wedgingt · 2019-10-18, 17:06

I noticed the proof of the cofactor had still not been done, so I did it and uploaded it just now.
-- Will

Quote:

Originally Posted by GP2

The 337th fully-factored or probably-fully-factored Mersenne number with prime exponent (not including the Mersenne primes themselves) is M2351.

The 55-digit most recent factor was found by Ryan Propper and the PRP test was done by Fan Ming.

Note that Ryan had found a 52-digit factor for the same exponent just six days earlier.

FactorDB link

mnd9 · 2019-10-18, 18:54

Quote:

Originally Posted by GP2

The 337th fully-factored or probably-fully-factored Mersenne number with prime exponent (not including the Mersenne primes themselves) is M2351.

The 55-digit most recent factor was found by Ryan Propper and the PRP test was done by Fan Ming.

Note that Ryan had found a 52-digit factor for the same exponent just six days earlier.

FactorDB link

Looks like Fan Ming sniped the PRP test, as I had the original assignment from the server...

GP2 · 2019-10-18, 20:01

Quote:

Originally Posted by mnd9

Looks like Fan Ming sniped the PRP test, as I had the original assignment from the server...

For both this exponent and the previous one (M2441), the factor had already been uploaded to FactorDB, and FactorDB had the cofactor as a PRP. It probably does the test automatically for such small exponents. And for all we know, the factor discoverer may also have quietly run a PRP test.

So priority of the PRP discoveries for tiny exponents is problematic. I just mention the person who reported it to Primenet first.

Fan Ming · 2019-10-24, 15:00

Quote:

Originally Posted by mnd9

Looks like Fan Ming sniped the PRP test, as I had the original assignment from the server...

I'm really sorry for that. I saw this message just now.
Sorry for the poach. I tested this and found the result is PRP, which is unusual, so I submitted the PRP result...

GP2 · 2019-10-29, 14:10

The 338th fully-factored or probably-fully-factored Mersenne number with prime exponent (not including the Mersenne primes themselves) is M1723.

The 51-digit most recent factor was found by Ryan Propper and the PRP test was done by mnd9.

The cofactor is already certified prime. For cofactors this small, FactorDB does the PRP test automatically and certification is done routinely and quickly. The factor had already been submitted to FactorDB, perhaps by Ryan himself.

FactorDB link

R.D. Silverman · 2019-10-29, 23:18

Quote:

Originally Posted by GP2

The 338th fully-factored or probably-fully-factored Mersenne number with prime exponent (not including the Mersenne primes themselves) is M1723.

Very nice.

It would also be nice if people could factor some on the numbers within
the Cunningham numbers instead of only cherry picking relatively untested numbers
outside the tables.

Yes, the former is a lot harder.

"We choose to go to the moon and do the other thing. Not because they are easy,
but because they are hard".

GP2 · 2019-11-27, 15:25

The 339th fully-factored or probably-fully-factored Mersenne number with prime exponent (not including the Mersenne primes themselves) is M216317.

The most recent factor was found by Niels_Mache_Nextcloud and the PRP test was done by mnd9.

This cofactor is too big to be certified prime by Primo.

FactorDB link

This was actually discovered yesterday, but for some reason PrimeNet did not send the usual notification.

2019-10-11, 18:38	#486
petrw1 1976 Toyota Corona years forever! "Wayne" Nov 2006 Saskatchewan, Canada 2²·3·433 Posts	Ryan and P1 and 12 Is it fluke or intentionally chosen B1/B2 that all of Ryan's recent P1 results have a GhzDays ending in .xx12? 14.1712 if B1 and B2 required 6.1412 if found via B1 only. Ryan Propper Manual testing 98454437 F-PM1 2019-10-11 14:00 0.3 14.1712 Factor: 124390959709723920942323644574431 / (P-1, B1=965000, B2=24125000, E=6) Ryan Propper Manual testing 98433241 F-PM1 2019-10-11 14:00 0.3 6.1412 Factor: 102501238638612689076865713323434384005097 / (P-1, B1=965000) and about 100 more ending in .xx12

2019-10-18, 14:41	#488
GP2 Sep 2003 2·3·431 Posts	The 337th fully-factored or probably-fully-factored Mersenne number with prime exponent (not including the Mersenne primes themselves) is M2351. The 55-digit most recent factor was found by Ryan Propper and the PRP test was done by Fan Ming. Note that Ryan had found a 52-digit factor for the same exponent just six days earlier. FactorDB link Last fiddled with by GP2 on 2019-10-18 at 14:42

2019-11-27, 15:25	#495
GP2 Sep 2003 5032₈ Posts	The 339th fully-factored or probably-fully-factored Mersenne number with prime exponent (not including the Mersenne primes themselves) is M216317. The most recent factor was found by Niels_Mache_Nextcloud and the PRP test was done by mnd9. This cofactor is too big to be certified prime by Primo. FactorDB link This was actually discovered yesterday, but for some reason PrimeNet did not send the usual notification. Last fiddled with by GP2 on 2019-12-08 at 04:34 Reason: wording: cofactor

Similar Threads
Thread	Thread Starter	Forum	Replies	Last Post
Smallest exponent for mersenne not-factored	preda	PrimeNet	10	2018-11-04 00:47
Largest Mersenne Number Fully Factored?	c10ck3r	Data	49	2017-12-10 19:39
Possibility of a Fully-Factored Number	Trejack	FactorDB	7	2016-05-14 05:38
Estimating the number of primes in a partially-factored number	CRGreathouse	Probability & Probabilistic Number Theory	15	2014-08-13 18:46
Number of distinct prime factors of a Double Mersenne number	aketilander	Operazione Doppi Mersennes	1	2012-11-09 21:16

2019-10-11, 15:40	#485
GP2 Sep 2003 A1A₁₆ Posts	The 336th fully-factored or probably-fully-factored Mersenne number with prime exponent (not including the Mersenne primes themselves) is M2441. The 49-digit most recent factor was found by Ryan Propper and the PRP test was done by mnd9. The cofactor has already been certified prime: FactorDB link

2019-10-12, 03:53	#487
axn Jun 2003 3³·199 Posts	Fluke. Same B1/B2 and same FFT size = same credit. Stage-1-only credit matching full pm1 credit is fluke. I don't think ryanp gives a flying fox about GIMPS credit, let alone gimmicky credits.

2019-10-29, 14:10	#493
GP2 Sep 2003 2×3×431 Posts	The 338th fully-factored or probably-fully-factored Mersenne number with prime exponent (not including the Mersenne primes themselves) is M1723. The 51-digit most recent factor was found by Ryan Propper and the PRP test was done by mnd9. The cofactor is already certified prime. For cofactors this small, FactorDB does the PRP test automatically and certification is done routinely and quickly. The factor had already been submitted to FactorDB, perhaps by Ryan himself. FactorDB link