Leyland Primes: ECPP proofs - Page 4

kruoli · 2022-05-16, 09:49

My previous bunch is done and its results are currently processing on factorDB. I will queue up

L(3896, 579)
L(3502, 1271)
L(3121, 3070)
L(3996, 539)
L(3369, 1766)
L(5488, 99)
L(3509, 1330)
L(3142, 3089)
L(3188, 2781)
L(3543, 1262)

next. ETA: a week to ten days.

pxp · 2022-05-16, 14:10

Quote:

Originally Posted by kruoli

ETA: a week to ten days.

Good stuff! In my masterlist, I've used "P" in a final column for "proven". I'll add the designation "-" for "apparently reserved" and "*" for "waiting on factordb verification".

xilman · 2022-05-16, 15:24

Quote:

Originally Posted by pxp

Good stuff! In my masterlist, I've used "P" in a final column for "proven". I'll add the designation "-" for "apparently reserved" and "*" for "waiting on factordb verification".

Thanks.

My run is going well now that I spotted a typo which wasted roughly two core-weeks of computation

frmky · 2022-05-17, 05:32

I'll take (4444,535), (3924,1325), and (3507,3172).

xilman · 2022-05-19, 15:06

3522^851+851^3522 certificate uploaded.

xilman · 2022-05-19, 16:53

Taking 4153^2154 + 2154^4153

frmky · 2022-05-19, 20:18

(3602,2577) and (3646,2389) are done and uploaded. (3543,3052) is running now.

kruoli · 2022-05-23, 13:27

Quote:

Originally Posted by kruoli

My previous bunch is done and its results are currently processing on factorDB. I will queue up

L(3896, 579)
L(3502, 1271)
L(3121, 3070)
L(3996, 539)
L(3369, 1766)
L(5488, 99)
L(3509, 1330)
L(3142, 3089)
L(3188, 2781)
L(3543, 1262)

next. ETA: a week to ten days.

All uploaded. I will pause for a bit.

frmky · 2022-05-26, 22:29

L(5411,3958) is done and the cert is uploaded.

Edit: I'll try L(99069,2) next.

pxp · 2022-05-27, 00:29

Quote:

Originally Posted by frmky

I'll try L(99069,2) next.

Just beyond that is Selevich's L(8656,2929), which was proven "by an implementation of a version of Mihailescu's CIDE". It is still PRP in factordb, presumably because it was/is beyond the reach of Primo.

frmky · 2022-05-27, 18:48

Are certificates for (2930,2739) and (3265,1234) available anywhere? They are not in FactorDB, a Google search came up empty, and they aren't listed on François Morain's site.

2022-05-16, 09:49	#34
kruoli "Oliver" Sep 2017 Porta Westfalica, DE 53F₁₆ Posts	My previous bunch is done and its results are currently processing on factorDB. I will queue up L(3896, 579) L(3502, 1271) L(3121, 3070) L(3996, 539) L(3369, 1766) L(5488, 99) L(3509, 1330) L(3142, 3089) L(3188, 2781) L(3543, 1262) next. ETA: a week to ten days.

2022-05-26, 22:29	#42
frmky Jul 2003 So Cal 2²·3·7·31 Posts	L(5411,3958) is done and the cert is uploaded. Edit: I'll try L(99069,2) next. Last fiddled with by frmky on 2022-05-26 at 22:36

Similar Threads
Thread	Thread Starter	Forum	Replies	Last Post
Leyland Primes (x^y+y^x primes)	Batalov	XYYXF Project	611	2023-02-08 18:09
On Leyland Primes	davar55	Puzzles	9	2016-03-15 20:55
Leyland Numbers - Numberphile	TimSorbet	Lounge	5	2014-10-29 07:28
Status of GIMPS proofs	Brian-E	Information & Answers	7	2007-08-02 23:15
Collection of Proofs?	Orgasmic Troll	Math	1	2004-12-30 15:10

2022-05-17, 05:32	#37
frmky Jul 2003 So Cal 2²·3·7·31 Posts	I'll take (4444,535), (3924,1325), and (3507,3172).

2022-05-19, 15:06	#38
xilman Bamboozled! "𒉺𒌌𒇷𒆷𒀭" May 2003 Down not across 2D94₁₆ Posts	3522^851+851^3522 certificate uploaded.

2022-05-19, 16:53	#39
xilman Bamboozled! "𒉺𒌌𒇷𒆷𒀭" May 2003 Down not across 2²×2,917 Posts	Taking 4153^2154 + 2154^4153

2022-05-19, 20:18	#40
frmky Jul 2003 So Cal 2²×3×7×31 Posts	(3602,2577) and (3646,2389) are done and uploaded. (3543,3052) is running now.

2022-05-27, 18:48	#44
frmky Jul 2003 So Cal 2²×3×7×31 Posts	Are certificates for (2930,2739) and (3265,1234) available anywhere? They are not in FactorDB, a Google search came up empty, and they aren't listed on François Morain's site.