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

100111110101002 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

22·2,549 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
Liverpool (GMT/BST)

137638 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

F5316 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

3,923 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

40010 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

3,923 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

392310 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

22·3·499 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

24×52 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 and PRPs) Batalov XYYXF Project 644 2023-05-27 19:24
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

All times are UTC. The time now is 22:02.


Tue Jun 6 22:02:52 UTC 2023 up 292 days, 19:31, 0 users, load averages: 0.93, 0.99, 0.99

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2023, 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.

≠ ± ∓ ÷ × · − √ ‰ ⊗ ⊕ ⊖ ⊘ ⊙ ≤ ≥ ≦ ≧ ≨ ≩ ≺ ≻ ≼ ≽ ⊏ ⊐ ⊑ ⊒ ² ³ °
∠ ∟ ° ≅ ~ ‖ ⟂ ⫛
≡ ≜ ≈ ∝ ∞ ≪ ≫ ⌊⌋ ⌈⌉ ∘ ∏ ∐ ∑ ∧ ∨ ∩ ∪ ⨀ ⊕ ⊗ 𝖕 𝖖 𝖗 ⊲ ⊳
∅ ∖ ∁ ↦ ↣ ∩ ∪ ⊆ ⊂ ⊄ ⊊ ⊇ ⊃ ⊅ ⊋ ⊖ ∈ ∉ ∋ ∌ ℕ ℤ ℚ ℝ ℂ ℵ ℶ ℷ ℸ 𝓟
¬ ∨ ∧ ⊕ → ← ⇒ ⇐ ⇔ ∀ ∃ ∄ ∴ ∵ ⊤ ⊥ ⊢ ⊨ ⫤ ⊣ … ⋯ ⋮ ⋰ ⋱
∫ ∬ ∭ ∮ ∯ ∰ ∇ ∆ δ ∂ ℱ ℒ ℓ
𝛢𝛼 𝛣𝛽 𝛤𝛾 𝛥𝛿 𝛦𝜀𝜖 𝛧𝜁 𝛨𝜂 𝛩𝜃𝜗 𝛪𝜄 𝛫𝜅 𝛬𝜆 𝛭𝜇 𝛮𝜈 𝛯𝜉 𝛰𝜊 𝛱𝜋 𝛲𝜌 𝛴𝜎𝜍 𝛵𝜏 𝛶𝜐 𝛷𝜙𝜑 𝛸𝜒 𝛹𝜓 𝛺𝜔