- #1
T.Rex
- 62
- 0
Hi,
I've put on the http://mersenneforum.org/showthread.php?t=10670" the description of 3 conjectures that are waiting for a proof. I've already done half the proof for one of them (the easy part...).
I've provided PARI/gp code that exercises the 3 conjectures.
I'll give 100Euro for the guy/lady who will provide one proof out of the three.
These conjectures deal with properties of a Digraph under x^2-2 modulo a Mersenne, a Wagstaff or a Fermat prime, and they use cycles of length q-1 (Mersenne and Wagstaff) or 2^n-1 (Fermat).
The final idea/dream is to use cycles of length (q-1)/n for proving that such numbers are NOT prime, in order to speed up the search and proof.
The conjecture about Wagstaff numbers is already implemented as a "Vrba-Reix PRP" test in the LLR tool by Jean Penné, based on Prime95 library, which is usually used for looking at primes of the form: k*2^n+/-1 .
Come and have a look, have fun, and compete !
(And come look how big are the two new Prime Mersenne numbers we found at http://www.mersenne.org/" , and that I've verified.)
Tony
I've put on the http://mersenneforum.org/showthread.php?t=10670" the description of 3 conjectures that are waiting for a proof. I've already done half the proof for one of them (the easy part...).
I've provided PARI/gp code that exercises the 3 conjectures.
I'll give 100Euro for the guy/lady who will provide one proof out of the three.
These conjectures deal with properties of a Digraph under x^2-2 modulo a Mersenne, a Wagstaff or a Fermat prime, and they use cycles of length q-1 (Mersenne and Wagstaff) or 2^n-1 (Fermat).
The final idea/dream is to use cycles of length (q-1)/n for proving that such numbers are NOT prime, in order to speed up the search and proof.
The conjecture about Wagstaff numbers is already implemented as a "Vrba-Reix PRP" test in the LLR tool by Jean Penné, based on Prime95 library, which is usually used for looking at primes of the form: k*2^n+/-1 .
Come and have a look, have fun, and compete !
(And come look how big are the two new Prime Mersenne numbers we found at http://www.mersenne.org/" , and that I've verified.)
Tony
Last edited by a moderator: