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

53×59 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 online now   Reply With Quote
Old 2022-10-14, 14:22   #46
kriesel
 
kriesel's Avatar
 
"TF79LL86GIMPS96gpu17"
Mar 2017
US midwest

53·59 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 online now   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

11×373 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 offline   Reply With Quote
Old 2022-12-07, 15:20   #49
kriesel
 
kriesel's Avatar
 
"TF79LL86GIMPS96gpu17"
Mar 2017
US midwest

53×59 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 online now   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 03:56.


Wed Feb 8 03:56:38 UTC 2023 up 174 days, 1:25, 1 user, load averages: 0.68, 0.70, 0.79

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.

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