mersenneforum.org  

Go Back   mersenneforum.org > Factoring Projects > XYYXF Project

Reply
 
Thread Tools
Old 2014-05-12, 21:07   #1
Batalov
 
Batalov's Avatar
 
"Serge"
Mar 2008
Phi(4,2^7658614+1)/2

912610 Posts
Default Leyland Primes: ECPP proofs

Placeholder for xy+yx prime proofs.
http://www.primefan.ru/xyyxf/primes.html#0
There are some PRPs available starting from ~6600 digit size.

Contact XYYXF to reserve.

Last fiddled with by XYYXF on 2015-02-02 at 15:03 Reason: added an URL to the list of primes and PRPs
Batalov is offline   Reply With Quote
Old 2014-05-12, 21:17   #2
Batalov
 
Batalov's Avatar
 
"Serge"
Mar 2008
Phi(4,2^7658614+1)/2

2·33·132 Posts
Question

There are a few existing reservations that make one very curious:
222748^3+3^222748 (a 106278 decimal digits PRP by Anatoly Selevich) is reserved by Jens Franke.
Is it that the low value of y=3 makes for a very special case for a ECPP proof?
Batalov is offline   Reply With Quote
Old 2014-05-13, 08:01   #3
XYYXF
 
XYYXF's Avatar
 
Jan 2005
Minsk, Belarus

24·52 Posts
Default

AFAIK, they're going to make a CIDE proof, as it was done for 8656^2929+2929^8656:
http://www.mersenneforum.org/showthread.php?t=17554
XYYXF is offline   Reply With Quote
Old 2014-05-13, 10:00   #4
henryzz
Just call me Henry
 
henryzz's Avatar
 
"David"
Sep 2007
Cambridge (GMT/BST)

2·2,861 Posts
Default

Quote:
Originally Posted by XYYXF View Post
AFAIK, they're going to make a CIDE proof, as it was done for 8656^2929+2929^8656:
http://www.mersenneforum.org/showthread.php?t=17554
Does anyone know whether this method has been peer reviewed/checked over yet? Is there an available implementation of this algorithm?
henryzz is offline   Reply With Quote
Old 2015-01-20, 22:40   #5
RichD
 
RichD's Avatar
 
Sep 2008
Kansas

5·619 Posts
Default PRP Now Proven Prime

I completed several Primo proofs:

2284^1985+1985^2284
2305^1374+1374^2305
2317^1354+1354^2317
2328^923+923^2328
2343^962+962^2343
2383^1710+1710^2383

Two more will be completed this week.

2349^1772+1772^2349
2408^975+975^2408
RichD is offline   Reply With Quote
Old 2015-01-24, 14:31   #6
RichD
 
RichD's Avatar
 
Sep 2008
Kansas

5·619 Posts
Default

Quote:
Originally Posted by RichD View Post
Two more will be completed this week.

2349^1772+1772^2349
2408^975+975^2408
All done.
RichD is offline   Reply With Quote
Old 2015-02-02, 15:10   #7
XYYXF
 
XYYXF's Avatar
 
Jan 2005
Minsk, Belarus

24×52 Posts
Default

Thanks for the proofs :)
XYYXF is offline   Reply With Quote
Old 2015-06-04, 09:50   #8
RichD
 
RichD's Avatar
 
Sep 2008
Kansas

309510 Posts
Default

A few more Primo proofs:

2613^2348+2348^2613
2665^1702+1702^2665
2685^1904+1904^2685
2696^2451+2451^2696
RichD is offline   Reply With Quote
Old 2016-01-08, 04:12   #9
RichD
 
RichD's Avatar
 
Sep 2008
Kansas

309510 Posts
Default

A few more Primo proofs:

2596^1867+1867^2596
2622^2129+2129^2622
2625^1094+1094^2625
2680^2053+2053^2680
2722^2445+2445^2722
2759^2200+2200^2759
RichD is offline   Reply With Quote
Old 2016-01-08, 17:02   #10
CRGreathouse
 
CRGreathouse's Avatar
 
Aug 2006

592510 Posts
Default

Quote:
Originally Posted by henryzz View Post
Does anyone know whether this method has been peer reviewed/checked over yet? Is there an available implementation of this algorithm?
I wonder these things myself (many months later).
CRGreathouse is offline   Reply With Quote
Old 2016-01-10, 20:27   #11
XYYXF
 
XYYXF's Avatar
 
Jan 2005
Minsk, Belarus

19016 Posts
Default

Thanks for the proofs :-)

The page is updated: http://www.primefan.ru/xyyxf/primes.html#0
XYYXF is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Leyland Primes (x^y+y^x primes) Batalov XYYXF Project 407 2020-09-26 03:12
On Leyland Primes davar55 Puzzles 9 2016-03-15 20:55
Leyland Numbers - Numberphile Mini-Geek 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

All times are UTC. The time now is 16:35.

Sat Sep 26 16:35:26 UTC 2020 up 16 days, 13:46, 1 user, load averages: 2.07, 1.61, 1.59

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2020, Jelsoft Enterprises Ltd.

This forum has received and complied with 0 (zero) government requests for information.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation.
A copy of the license is included in the FAQ.