mersenneforum.org  

Go Back   mersenneforum.org > Great Internet Mersenne Prime Search > Data > Marin's Mersenne-aries

Reply
 
Thread Tools
Old 2022-09-19, 19:01   #45
kriesel
 
kriesel's Avatar
 
"TF79LL86GIMPS96gpu17"
Mar 2017
US midwest

2·3·1,229 Posts
Default

I think the term "shout-out" does not apply there, as it generally means a positive mention, relating to an accomplishment, neither of which apply regarding your minimal and misguided involvement with M384989999. https://www.dictionary.com/browse/shout-out https://dictionary.cambridge.org/dic...lish/shout-out etc.
M384989999 which you assured us was prime has already been found composite, but that run apparently lacked a proof file uploaded to the server, so I am independently verifying it as composite with a run that should produce an uploadable proof file for additional verification of complete and accurate computation, as I do with all feasible predictions of Mxx or other "dubious" claims. ("Dubious" being a polite substitute for some more-descriptive adjectives. You wrote it first: "spewing uneducated rubbish here". In this forum there is in general a low tolerance for nonsense.)

Last fiddled with by kriesel on 2022-09-19 at 19:11
kriesel is offline   Reply With Quote
Old 2022-10-14, 14:22   #46
kriesel
 
kriesel's Avatar
 
"TF79LL86GIMPS96gpu17"
Mar 2017
US midwest

1CCE16 Posts
Default

Combined list update: Predict Mxx lacking completed DC, and dubious claims lacking completed DC, but within range of feasible P-1 factoring, yields 2 uncompleted exponents (for now). Current status of each, plus a recently completed follows:

M384989999 (a particular dubious claim) TF & P-1 factoring completed,
ShenTianYing reported a poached composite result 2022-09-01, apparently without proof generation. Its LSBs remain masked, but the unmasked bits are matched by a subsequent DC. Kriesel completed DC PRP with proof generation 2022-10-01. Naegi Makoto completed the cert for it successfully 2022-10-13. M384989999 is conclusively proven composite.

----limit of mersenne.org current server hardware automatic handling of proof files is ~ 596M----
----limit of mersenne.org exponent range 1000M----
M1000000007 (from predict M52 list) TF and P-1 done; Kriesel is running a first PRP/proof, feasible in ~4.5 months in Gpuowl on a Radeon VII, now 8.9% complete.
----limit of mprime/prime95 AVX512 64M fft exponent handling (PRP, proof, cert,...) 1169M----
----limit of available PRP/proof-capable gpuowl versions 2172.36M----
M2252945257 (from predict M51 list) TF done, Mlucas P-1 stage 1 NF, stage 2 running at ~39.7% completed now, total time for both stages estimated at 9.8 months on an Intel i5-7600T; no first PRP test yet, waiting on P-1 GCD results, then wait for Mlucas V21 proof capable version release (but run time would be very long on any CPU hardware I have. A modified Gpuowl with >120M fft length might complete it in ~2.8 years on a Radeon VII. And there is no proof file upload destination or Cert assignment or processing capability for such a large exponent, which would require adding ~128M fft in prime95.)

Last fiddled with by kriesel on 2022-10-14 at 14:26
kriesel is offline   Reply With Quote
Old 2022-10-14, 15:57   #47
chris2be8
 
chris2be8's Avatar
 
Sep 2009

22×607 Posts
Default

Quote:
Originally Posted by kriesel View Post
M384989999 (a particular dubious claim) TF & P-1 factoring completed,
ShenTianYing reported a poached composite result 2022-09-01, apparently without proof generation. Its LSBs remain masked, but the unmasked bits are matched by a subsequent DC.
It's LSBs are masked in the PRP section, but not in the History section (where they match Kriesel's DC). Which looks like a server glitch.
chris2be8 is offline   Reply With Quote
Old 2022-10-14, 17:27   #48
James Heinrich
 
James Heinrich's Avatar
 
"James Heinrich"
May 2004
ex-Northern Ontario

2×3×683 Posts
Default

Quote:
Originally Posted by chris2be8 View Post
It's LSBs are masked in the PRP section, but not in the History section (where they match Kriesel's DC). Which looks like a server glitch.
See https://www.mersenneforum.org/showth...637#post615637
James Heinrich is online now   Reply With Quote
Old 2022-12-07, 15:20   #49
kriesel
 
kriesel's Avatar
 
"TF79LL86GIMPS96gpu17"
Mar 2017
US midwest

2×3×1,229 Posts
Default

Combined list update: Predict Mxx lacking completed DC, and dubious claims lacking completed DC, but within range of feasible P-1 factoring, yields 2 uncompleted exponents (for now). Current status of each follows, with changes in bold:

----limit of mersenne.org current server hardware automatic handling of proof files is ~ 596M----
----limit of mersenne.org exponent range 1000M----
M1000000007 (from predict M52 list) TF and P-1 done; Kriesel is running a first PRP/proof, feasible in ~4.5 months in Gpuowl on a Radeon VII, now 46.1% complete.
----limit of mprime/prime95 AVX512 64M fft exponent handling (PRP, proof, cert,...) 1169M----
----limit of available PRP/proof-capable gpuowl versions 2172.36M----
M2252945257 (from predict M51 list) TF done, Mlucas P-1 stage 1 NF, stage 2 running at ~48.2% completed now, total time for both stages estimated at 9.8 months on an Intel i5-7600T; (P-1 stage 2 was delayed about a month due to a stage 2 resume bug since resolved); no first PRP test yet, waiting on P-1 GCD results, then wait for Mlucas V21 proof capable version release (but run time would be very long on any CPU hardware I have. A modified Gpuowl with >120M fft length might complete it in ~2.8 years on a Radeon VII. And there is no proof file upload destination or Cert assignment or processing capability for such a large exponent, which would require adding ~128M fft in prime95.)

Last fiddled with by kriesel on 2022-12-07 at 15:20
kriesel is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
"Mixed Sierpinski conjecture base 5" proven!! (if probable primes allowed) sweety439 sweety439 1 2020-12-21 14:08
Is "mung" or "munged" a negative word in a moral sense? Uncwilly Lounge 15 2020-04-14 18:35
Aouessare-El Haddouchi-Essaaidi "test": "if Mp has no factor, it is prime!" wildrabbitt Miscellaneous Math 11 2015-03-06 08:17
Palindrome primes (a.k.a. Elementary S03E03 "Just a Regular Irregular") Batalov And now for something completely different 12 2014-11-16 19:03
Would Minimizing "iterations between results file" may reveal "is not prime" earlier? nitai1999 Software 7 2004-08-26 18:12

All times are UTC. The time now is 12:38.


Tue Feb 7 12:38:38 UTC 2023 up 173 days, 10:07, 1 user, load averages: 1.21, 1.30, 1.31

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.

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