Live data from Hacker News

New Mersenne Prime discovered (probably)

mersenne.org

101–110 of 126 posts

Re: New Mersenne Prime discovered (probably)

#101

Earlier quoted context omitted.

>presumably go on infinitely long prove it

It's well established that there are infinite prime numbers, for example https://www-users.york.ac.uk/~ss44/cyc/p/primeprf.htm

Should be able to trivially extend that logic to Mersenne Primes then, 'presumably'

Re: New Mersenne Prime discovered (probably)

#102
post #64

Earlier quoted context omitted.

Back in 2009-2010 I was responsible for deploying 8-16 core servers to customers to run large databases and ERPs. I had the idea of doing some burn in testing to stress the components for around a week for each server. Back then I was aware of bitcoin but also SETI@home. Obviously I chose the second option as I believed it was probable my a better choice for humans kind. It obviously was, but bitcoin mining would hav…

I remember some rough calculations suggested I needed to upgrade from agp to pcie to make bitcoin mining worth it financially. I went with boinc instead.

I remember calculating that the 0.08 btc that I was mining per day on my desktop wasn't worth the electricity.

Re: New Mersenne Prime discovered (probably)

#103
post #38

lol, like the government doesn't have 3 more Mersennes they keep secret so they can verify potential First Contact situations

They're much easier to verify than to find. Just ask for the next one hundred unknown primes and check the response.

This still suffers from the MitM / Two Generals Problem, and is existentially problematic if they also demand the simple, reasonable sum of the first BB(17) numbers modulo Grahams number, within 14 business local parsec-years.

Their spam filter may be an annoying ping acknowledgement, a directed gamma ray beam from soft gamma repeater, just to irradiate their own hoax-doers suspects.

Re: New Mersenne Prime discovered (probably)

#104
post #92

Are there statistics on the scale of compute available to GIMPS for this search? Is there any evidence that by crowdsourcing the clients, we are searching faster than, eg, a dedicated cluster financed by a government or a corporation? What is the impact of GIMPS as a distributed problem solving tool? Like, if there was a practical application, how much money would it take to exceed GIMPS throughput, that curious peop…

> “$50k/year in AWS costs would equal current GIMPS search throughput”

I think you may be wrong by at least 3 orders of magnitude.

Re: New Mersenne Prime discovered (probably)

#105

Given this contest can presumably go on infinitely long, what is the ultimate point of the contest? Is there some kind of theoretical or practical benefit to discovering a new Mersenne prime?

>presumably go on infinitely long prove it

I didn't claim there are an infinite number of Mersenne primes. I said the contest could presumably go on infinitely long. The latter doesn't require the former. It's only predicated on us lacking proofs about how many there must be.

Re: New Mersenne Prime discovered (probably)

#106

Earlier quoted context omitted.

Because the EFF Cooperative Computing Awards for the first discovery of large enough prime numbers are still active. Publishing the probable prime in advance would risk someone verifying faster than GIMPS.

How do you prove that you verified that a number is a prime? If you want to prove that a number is not a prime you can show the factorization or that it breack the little theorem of Fermat with 367984321568, and everyone can check the refutation inmediately. I don't know a similar method to show that you actualy verified the number is a prime.

There are primality proving certificates.

https://en.wikipedia.org/wiki/Primality_certificate

These are sometimes infeasible for stupidly big numbers, but the Mersenne Primes have a specific structure that allows for simplification of the process.

Re: New Mersenne Prime discovered (probably)

#107
post #92

Are there statistics on the scale of compute available to GIMPS for this search? Is there any evidence that by crowdsourcing the clients, we are searching faster than, eg, a dedicated cluster financed by a government or a corporation? What is the impact of GIMPS as a distributed problem solving tool? Like, if there was a practical application, how much money would it take to exceed GIMPS throughput, that curious peop…

https://www.mersenne.org/primenet/ suggests 127 PFlop/s average over the last month, which would put it in the top 10 on https://top500.org/lists/top500/2024/06/

I used a random estimate online for computing cost which had 5.6e17 Flops per dollar on A100s gives about a dollar every 4.4 seconds or ~$7 million per year.

Sadly, I do not vouch for the correctness of any part of this, though I did try.

Re: New Mersenne Prime discovered (probably)

#108
post #36

Earlier quoted context omitted.

If bitcoin used a facet of primality in its Proof-of-Work, that would nearly needlessly gloating. But it doesn't, and unfortunately even worse, it wasn't ASIC-resistant, which had second-order effects that Intel could had actually taken advantage of if they werent sleeping from being too comfortable.

Is there a good POW mechanism that would test primes? I found this but curious what else exists! https://en.wikipedia.org/wiki/Primecoin

Primecoin (Cunningham chains)

Gapcoin (finding large gaps between successive primes)

Riecoin (finding maximally dense prime clusters of size 6)

Nexus (finding almost-dense clusters with a maximum spacing between successive primes)

As an aside, picking a mathematically interesting and intricate proof of work function is probably a bad idea, because someone like me will come along and optimize the miner and mine privately at a large profit margin, as I did with two of these coins.

Re: New Mersenne Prime discovered (probably)

#110

Earlier quoted context omitted.

It's well established that there are infinite prime numbers, for example https://www-users.york.ac.uk/~ss44/cyc/p/primeprf.htm

Should be able to trivially extend that logic to Mersenne Primes then, 'presumably'

It’s not.

The traditional proof that there are an infinite number of primes relies on unique prime factorisation- i.e for any number, n, there is a unique set of primes p1, p2, p3, … etc. where p1 * p2 * p3 * … = n

For instance 88 = 2 * 2 * 2 * 11, 42 = 2 * 3 * 7

It’s worth reading the proof if you haven’t - it’s comprehensible with high school maths.

No such property exists for Mersenne primes, so we can’t trivially extend it. Many proofs of the properties of prime numbers are difficult because they, by definition, actively resist patterns.

Post reply on HN