[QUOTE=Dr Sardonicus;505646]Looking at the current status of the exponent 8191, one other prime factor is known, and the remaining cofactor is a PRP.[/QUOTE]
Uh... [URL="https://www.mersenne.org/report_exponent/?exp_lo=8191&full=1"]it's not[/URL]. 
I found the larger of the two known prime factors of M8191 in 2003 and did the computations at the time to show that the cofactor was not only composite, but was also not a power of a single prime factor, so we know that the cofactor has at least two distinct prime factors. Currently, the ECM status shows that it [I]probably[/I] has no other factors less than around 50 digits.

We [URL="http://www.doublemersennes.org/history.php"]know that[/URL]. We watched you at the time :razz:, and we also did a lot of work on those DM's in 20122014 or so, with the mmff fever, but stopped for a while. That mother is composite. But from the amount of work done on it, no new factor under (about) 45 digits should exits.

[QUOTE=philmoore;505652]I found the larger of the two known prime factors of M8191 in 2003 and did the computations at the time to show that the cofactor was not only composite, but was also not a power of a single prime factor, so we know that the cofactor has at least two distinct prime factors.[/QUOTE]
If we ever find a nonsquarefree Mersenne number (with prime exponent), it would make headlines. The factor in question would be the third known Wieferich prime. I run a script to check for this every few days. Takes a fraction of a second. Very tiny effort, very huge payoff, astronomical odds. 
[QUOTE=GP2;505651]Uh... [URL="https://www.mersenne.org/report_exponent/?exp_lo=8191&full=1"]it's not[/URL].[/QUOTE]Sorry about that. When I read "PRP Cofactor" in the "Status" column I thought it meant the cofactor was a PRP. Apparently it means "results of PRP test on cofactor" or some such.

[QUOTE=Dr Sardonicus;505695]Sorry about that. When I read "PRP Cofactor" in the "Status" column I thought it meant the cofactor was a PRP. Apparently it means "results of PRP test on cofactor" or some such.[/QUOTE]
You're not the first one to be confused by that. It really should be changed from "PRP Cofactor" to "Cofactor PRP test". And then for consistency, "LL" to "LL test", "PRP" to "PRP test", "P1" to "P−1 test". 
[QUOTE=GP2;505644]Never mind larger examples, there's no smaller example.
The only other p=2^k+k which is a Mersenne prime exponent is k=1, p=3, but then W(k) = 1.[/QUOTE] Not sure I know what you mean. With k=1 you are describing the smaller example. It gives [$]2^k+k = 3[/$] and [$]2^k=2[/$] and the prime (seven) is [$$]M(3)=2^31=2\cdot 2^2  1=W(2)[/$$] The other example k=9 written the same way, since [$]2^k+k = 521[/$] and [$]2^k=512[/$], is [$$]M(521)=2^{521}1=512\cdot 2^{512}  1=W(512)[/$$] For the fun of it, we can merge the lists of Mersennes and Woodalls like this: [CODE] M(2) M(3) = W(2) W(3) M(5) M(7) W(6) M(13) M(17) M(19) M(31) W(30) M(61) W(75) W(81) M(89) M(107) W(115) M(127) W(123) W(249) W(362) W(384) W(462) M(521) = W(512) M(607) W(751) W(822) M(1279) M(2203) M(2281) M(3217) M(4253) M(4423) W(5312) . . . . . .[/CODE] 
All times are UTC. The time now is 08:46. 
Powered by vBulletin® Version 3.8.11
Copyright ©2000  2020, Jelsoft Enterprises Ltd.