News for hackers. Stuff that matters.
Re:48th Mersenne prime found by Simucal on Tuesday February 05, 2013 @10:00AM (#5170906)
I went to this university and took several of Professor Cooper's classes. He was a great guy and he seemed really passionate about his Mersenne project.

One thing that was annoying however was the prime finding software was put on every lab computer possible. It was suppose to pause when a user got on a machine and resume when they got off. This seemed to never be the case though because they would all run terribly slow and when you checked the process list the prime software would be pegging the CPU. After reporting the problem several times I simply added a line in my bash file to kill it when I logged on.

Re:48th Mersenne prime found by DanBC on Tuesday February 05, 2013 @12:19PM (#5171825)
David McOwen was a tech who installed distributed computing clients on the machines in his lab.

(http://www.securityfocus.com/news/300)

> A computer network administrator faces multiple felony charges and years in a Georgia prison for allegedly installing Distributed.net clients without permission. Prosecutors say its justice, others aren't so sure

> A college computer technician who offered his school's unused computer processing power for an encryption research project will be tried next month in Georgia for computer theft and trespassing charges that carry a potential total of 120 years in jail.

> The closely-watched case if one of the first in which state prosecutors have lodged felony charges for allegedly downloading third-party software without permission.

What a lot of people missed was the significantly raised electricity bills from having 500 PCs running this software all day.

And a gorgeously authentic 2001 page (http://freemcowen.com/)

Re:48th Mersenne prime found by EvanAnderson on Tuesday February 05, 2013 @01:43PM (#5172378)
He ended up getting a year of probation (http://www.freemcowen.com/thelatest.htm).

Facing a huge prison sentence for "hacking"... sounds eerily familiar. >sigh<

[deleted]
Re:48th Mersenne prime found by DanBC on Tuesday February 05, 2013 @02:58PM (#5172876)
Yes.

He faced a theoretical 120 years in jail. Even though that was unlikely he settled because, from the EFF statement:

> "David never should have been prosecuted in the first place, but we're glad that the state decided to stop," said Senior Staff Attorney Lee Tien of the Electronic Frontier Foundation (EFF). "This is a very good result for David. He very likely could have won if the case had gone to trial, but trials cost money and you never know what will happen."

And this is what he got for settling:

> Under the terms of the deal, announced today, McOwen will receive one year of probation for each criminal count, to run concurrently, make restitution of $2100, and perform 80 hours of community service unrelated to computers or technology. McOwen will have no felony or misdemeanor record under Georgia's First Offender Act.

Re:48th Mersenne prime found by X-Istence on Tuesday February 05, 2013 @10:19AM (#5171042)
That's sounds familiar. I went to a university where the one professor that was using Linux (and his knowledge was very little) was constantly tying up the Linux machines in our labs to run his prime number generation tool.

His research was into finding a faster/easier way to do prime number factorization in an attempt to speed up cryptography of any kind that uses it. Part of that was finding an easier/faster way to compute prime numbers in the first place. It was fascinating stuff ... but those machines were useless for anything but doing those calculations since it was using up all cores/HT's.

Re:48th Mersenne prime found by ArbitraryLimits on Tuesday February 05, 2013 @12:43PM (#5171978)
My university's physics department did the same thing with SETI@home. The SETI@home guys were smart enough to make their program run as a screen-saver that displayed Fourier Transforms so people thought it made the lab look more sciency and left it on.
Re:48th Mersenne prime found by stephengillie on Tuesday February 05, 2013 @02:08PM (#5172531)
Another important note is that SETI@home actually did stop running when you were using the PC. If you left Task Manager up, you could see the difference on the CPU usage graph.
Re:48th Mersenne prime found by danieldrehmer on Wednesday February 06, 2013 @06:28AM (#5175864)
and that's why they didn't find any alien intelligence yet
Re:48th Mersenne prime found by yock on Tuesday February 05, 2013 @10:09AM (#5170975)
What OS was this? Processes like these (Folding, Seti, etc) should be "niced" on *nix-like OSes to have the lowest possible priority. Not sure what this looks like on Windows, but I imagine it's possible.
Re:48th Mersenne prime found by sp332 on Tuesday February 05, 2013 @10:23AM (#5171068)
In windows, each process has one of 6 priority levels, and each thread has one of 7 priority levels. The combination is looked up in a table and yields one of 22 values between 1 and 31. http://msdn.microsoft.com/en-us/library/windows/desktop/ms68... You can manually change priority levels by right-clicking a process in the Task Manager. Not sure how to do it automatically or on a command line.

Edit: note the OS will "boost" priorities on certain processes or threads sometimes. http://msdn.microsoft.com/en-us/library/windows/desktop/ms68...

Re:48th Mersenne prime found by acdha on Tuesday February 05, 2013 @11:05AM (#5171336)
nice doesn't help with I/O pressure or memory contention, particularly if it used enough memory to contribute to swap activity. Even something like pressure on the system L2/L3 caches can be a big deal, particularly on older systems where those were less generous.
Re:48th Mersenne prime found by eeperson on Tuesday February 05, 2013 @01:55PM (#5172451)
Thats where ionice or, even better, cgroups[1] come in :)

[1] http://en.wikipedia.org/wiki/Cgroup

Re:48th Mersenne prime found by acdha on Tuesday February 05, 2013 @06:40PM (#5174063)
Agreed, although I would note that at least on Linux and FreeBSD those haven't been a realistic option for a terribly long period of time – if the user didn't go to school recently, it's likely that they weren't an option.

(also, not sure about cgroups but ionice did absolutely nothing useful with swap churn when I tested it awhile back)

Re:48th Mersenne prime found by duck on Tuesday February 05, 2013 @11:42AM (#5171570)
After reporting the problem several times I simply added a line in my bash file to kill it when I logged on.

It would have been discovered sooner if you hadn't done that. :)

Re:48th Mersenne prime found by easytiger on Tuesday February 05, 2013 @10:01AM (#5170915)
why on earth would they run it as you user?
Re:48th Mersenne prime found by Simucal on Tuesday February 05, 2013 @10:10AM (#5170980)
Several of us had root access to the few Linux boxes in the CS computer lab.
Re:48th Mersenne prime found by pzxc on Tuesday February 05, 2013 @12:50PM (#5172021)
In my freshman year of college, I discovered something neat about perfect numbers and Mersenne primes (verified by my math professor):

The first perfect number, 6, written in binary is 110 The second, 28, in binary is 11100 The third, 496, in binary is 1111100 The fourth, 8128, in binary is 1111111000000

See the pattern? Its a number of ones equal to the mersenne prime that generates the perfect number, followed by one less number of zeroes.

Just an interesting tidbit I discovered completely by accident in college that I always thought was cool. :)

Of course it derives directly from the fact that mersenne primes (and perfect numbers) are based on powers of two, but I still thought it was cool (probably because I discovered it accidentally and independently without trying to)

Re:48th Mersenne prime found by jnotarstefano on Tuesday February 05, 2013 @01:42PM (#5172369)
This is in fact the consequence of a fact first proven by Euler: every even perfect number is of the form (2^(p-1)) * (2^p - 1) where 2^p - 1 is a prime. That is, it's p ones shifted left by p-1 zeroes.
Re:48th Mersenne prime found by SagelyGuru on Tuesday February 05, 2013 @01:57PM (#5172459)
Surely then the third should be: 111110000, not 1111100. Looks like you are two zeroes short of perfect ;)
Re:48th Mersenne prime found by ctdonath on Tuesday February 05, 2013 @12:55PM (#5172052)
Awesome. I'll have to apply the binary notation approach to answering the question I just posted below.
Re:48th Mersenne prime found by john_b on Tuesday February 05, 2013 @01:43PM (#5172381)
In case anyone is curious, the explicit power of two formula for these perfect numbers can be found here: http://primes.utm.edu/mersenne/index.html#theorems
Re:48th Mersenne prime found by NelsonMinar on Tuesday February 05, 2013 @10:11AM (#5170991)
Good for GIMPS, 2⁵⁷⁸⁸⁵¹⁶¹ - 1 has a nice ring to it! GIMPS is one of the largest distributed computations in the world and have been tooling away finding primes since 1996. SETI@Home gets most of the credit for popularizing this kind of distributed computing, but GIMPS has been at it for even longer and has delivered consistent results.
Re:48th Mersenne prime found by falsestprophet on Tuesday February 05, 2013 @10:24AM (#5171074)
To be fair, SETI@Home has delivered most consistent results.
Re:48th Mersenne prime found by yread on Tuesday February 05, 2013 @10:39AM (#5171163)
you mean "nothing" ?
Re:48th Mersenne prime found by cryptoz on Tuesday February 05, 2013 @11:50AM (#5171627)
What? Don't be silly. If they delivered no results or "nothing" at all, the project would have been shut down years ago. SETI has consisently reported that they have searched through a very large amount of signal and found only natural noise. That data is extremely valuable and is absolutely not "nothing".
Re:48th Mersenne prime found by shaurz on Tuesday February 05, 2013 @12:10PM (#5171768)
The aliens are using subspace communication, no wonder we haven't found anything yet.
Re:48th Mersenne prime found by rorrr on Tuesday February 05, 2013 @03:56PM (#5173182)
Or encrypted communications, indistinguishable from noise.
Re:48th Mersenne prime found by timbre on Tuesday February 05, 2013 @04:23PM (#5173294)
An unintended consequence of the "https everywhere" practice.
Re:48th Mersenne prime found by Zarathust on Tuesday February 05, 2013 @06:38PM (#5174058)
It doesn't have to be encrypted, just some basic compression algorithm eliminate patterns and make it very difficult to distinguish from noise. Being efficient achieves the same result as being sneaky
Re:48th Mersenne prime found by wikwocket on Tuesday February 05, 2013 @11:12AM (#5171381)
If you want to run some distributed computing but don't like SETI@Home, give worldcommunitygrid.org a look. They run a number of projects aimed at curing stubborn diseases and working on clean energy and water. As a bonus, if you use it as your screensaver, the graphics for many of the projects are pretty cool.
Re:48th Mersenne prime found by ctdonath on Tuesday February 05, 2013 @01:58PM (#5172463)
Sometimes, as with the Michelson–Morley experiment, a result of "nothing" is absolutely profound and changes the course of science.
Re:48th Mersenne prime found by frozenport on Tuesday February 05, 2013 @02:18PM (#5172602)
Michelson and Morley could reach a negative conclusion with one experiment

It is not clear when to stop SETI

Re:48th Mersenne prime found by stevenleeg on Tuesday February 05, 2013 @10:29AM (#5171102)
So what's the application of finding these sorts of primes? (I don't mean to sound like a dick or anything, I'm genuinely curious what this kind of knowledge can help us with).
Re:48th Mersenne prime found by jerf on Tuesday February 05, 2013 @11:20AM (#5171431)
Honestly, this is pretty much a "because we can" thing, other sibling replies to the contrary. It is cool and fun, and the resources dedicated to this are a pittance compared to, oh, say, the amount of computational resources applied to playing pretty 3D games.
Re:48th Mersenne prime found by ericHosick on Tuesday February 05, 2013 @12:28PM (#5171881)
> the amount of computational resources applied to playing pretty 3D games.

The cool thing is that those pretty 3D games are one of the reasons why we have those nifty computational resources such as http://www.nvidia.com/object/tesla-servers.html.

Re:48th Mersenne prime found by cmsmith on Tuesday February 05, 2013 @02:19PM (#5172612)
I think that the resources required deserve to be considered. If these computers are running 24 hours per day, and they require an extra 100 watts to look for primes (over their idle power consumption), then each computer is using the equivalent of 10 kg of coal per month.

In some cases, they're using renewable energy, and in some cases, they're offsetting heating costs. But the important thing is that the people installing the distributed computing software are not the people looking at the electricity bill. And that kind of breaks the whole economics of it.

Re:48th Mersenne prime found by jerf on Tuesday February 05, 2013 @05:29PM (#5173728)
Yes, but large numbers tend to just blow people's minds. Compare it to, say, power lossage due to people leaving their light bulbs on too long, or using incandescent bulbs instead of something more efficient.

It's noise. Nothing more.

Re:48th Mersenne prime found by jfrm on Tuesday February 05, 2013 @10:35AM (#5171138)
Re:48th Mersenne prime found by vilgax on Tuesday February 05, 2013 @10:47AM (#5171222)
Re:48th Mersenne prime found by rorrr on Tuesday February 05, 2013 @04:26PM (#5173310)
Not Mersenne primes though. There are only a few of them, and it would be trivial to check if any of them are used as primes. The whole point of encryption schemes that use prime numbers is that the attacker doesn't know which primes are used.
Re:48th Mersenne prime found by ville on Tuesday February 05, 2013 @10:40AM (#5171170)
Large primes are used in cryptographic algorithms as well. http://math.stackexchange.com/a/43120
Re:48th Mersenne prime found by ColinWright on Tuesday February 05, 2013 @10:43AM (#5171200)
Not Mersenne Primes, because they have a special structure that can create weaknesses.
Re:48th Mersenne prime found by pbsd on Tuesday February 05, 2013 @12:18PM (#5171817)
While Mersenne primes make breaking discrete logs easier over prime fields, they're pretty OK to use as underlying field on elliptic curve groups (cf. p521).
Re:48th Mersenne prime found by alexkus on Tuesday February 05, 2013 @12:05PM (#5171729)
And such encryption relies on the primes that are used remaining secret.

Using any of the 'well known' primes would be a bad idea as it is easy to go through the 'well known' primes and test to see if they were used as a basis for the encryption.

Re:48th Mersenne prime found by sikhnerd on Tuesday February 05, 2013 @09:53AM (#5170873)
GIMPS "why" page is an interesting read as well: http://primes.utm.edu/notes/faq/why.html
Re:48th Mersenne prime found by crazcarl on Tuesday February 05, 2013 @01:45PM (#5172388)
I was wondering what the significance of these findings were. I was disappointed that it is mostly "fame and fortune".
Re:48th Mersenne prime found by sanxiyn on Tuesday February 05, 2013 @10:04AM (#5170936)
If we meet aliens, we should exchange Mersenne primes.
Re:48th Mersenne prime found by yesbabyyes on Tuesday February 05, 2013 @10:40AM (#5171174)
To them, that would be like someone wants to exchange integers with us.

- Fifteen THOUSAND!

- Uuuh...

Re:48th Mersenne prime found by gokhan on Tuesday February 05, 2013 @11:06AM (#5171347)
You assume that they will be advanced enough to come to us. What if we find them in Europa or Titan?
Re:48th Mersenne prime found by yesbabyyes on Tuesday February 05, 2013 @11:38AM (#5171536)
Then we will probably not ask them to exchange Mersenne primes with us either. :-)
Re:48th Mersenne prime found by gesman on Tuesday February 05, 2013 @01:43PM (#5172376)
...or claim that "my prime is bigger than yours" :)
Re:48th Mersenne prime found by rsiqueira on Tuesday February 05, 2013 @11:46AM (#5171594)
In 2004, Liechtenstein issued a postage stamp with the 39th Mersenne prime number (2^13466917-1), this is the picture from a mathematical stamps collection: http://stamps.postbit.com/photos/math-stamps-collection/liec...
Re:48th Mersenne prime found by ashleyblackmore on Tuesday February 05, 2013 @11:40AM (#5171550)
If for whatever reason you want to download the number, there are a couple of links here:

http://www.isthe.com/chongo/tech/math/digit/m57885161/prime-...

Re:48th Mersenne prime found by sp332 on Tuesday February 05, 2013 @10:17AM (#5171030)
This part confuses me: "a 32-core server in 6 days" and "i7 CPU in 4.5 days" to do the same verification? Is the MLucas code really that much slower than GIMPS, or did the verification only use one core on the 32-core machine or what?
Re:48th Mersenne prime found by Dubslow on Tuesday February 05, 2013 @12:10PM (#5171767)
It's a myriad of answers. The Mlucas run used a larger FFT than was necessary, partly due to multithreading reasons. The Mlucas code also only uses SSE2 instructions, where the overclocked i7-2600K using GIMPS' Prime95 program is fully AVX capable. I would also expect that the i7 runs at a higher frequency, with a higher IPC, than the server. The "main" CUDALucas run took around 90 hours on a GTX 580. We didn't even hear about the 560 Ti run by Gilchrist, that was on the side.

Here are some links: http://www.mersenneforum.org/showpost.php?p=325878&postc... http://www.mersenneforum.org/showthread.php?p=325951#post325... http://www.mersenneforum.org/showpost.php?p=325995&postc... http://www.mersenneforum.org/showpost.php?p=326020&postc...

Re:48th Mersenne prime found by Dubslow on Tuesday February 05, 2013 @12:13PM (#5171786)
One last clarification: the reason to use Mlucas, and not Prime95 since it's so much faster, is for independent-code verification of the prime. (CUDALucas also counts in that regard, but the more independent triple and quadruple checks, the merrier!)
Re:48th Mersenne prime found by mkl on Tuesday February 05, 2013 @11:03AM (#5171325)
Each of these verifications would have been using different code and algorithms, otherwise it's not really verification. So different speeds are entirely expected.
Re:48th Mersenne prime found by masklinn on Tuesday February 05, 2013 @10:24AM (#5171072)
Yes it seems very odd, especially as they also mention CUDALucas running in 3.7 and 7.7 days on two different NVidia GPUs (one a 560, the other one unnamed — maybe a Fermi board?)
Re:48th Mersenne prime found by sp332 on Tuesday February 05, 2013 @10:40AM (#5171181)
I have the 560 Ti mentioned in the article. It's a mid-to-high grade card, better than most $200 cards IMHO but if you're willing to spend the cash, it's not at all difficult to find a card with more horsepower. Dropping a cool kilodollar will net you a GTX 690 which seems to be the right relative speed. http://www.hwcompare.com/12683/geforce-gtx-560-ti-vs-geforce...

Edit: since Dubslow's reply, here's the comparison for the GTX 580: http://www.hwcompare.com/9133/geforce-gtx-560-ti-vs-geforce-... It's also about $400.

Re:48th Mersenne prime found by frozenport on Tuesday February 05, 2013 @02:25PM (#5172659)
Sounds like 2 AMD Opteron 6200 Interlagos chips as found on many clusters. Each has 16 cores, but they have only 8 floating point units and a smaller clock then their Intel counterparts.

For some codes each core gives 60% of an Intel core for many others it is 40%.

The Bulldozers and the Interlogos go down in my mind as the chip that destroyed the AMD. It late, was hard to use, and underperformed.

Re:48th Mersenne prime found by shocks on Tuesday February 05, 2013 @10:22AM (#5171063)
The article does not mention how powerful these 32 server cores are.
Re:48th Mersenne prime found by Yhippa on Tuesday February 05, 2013 @04:21PM (#5173285)
Is 2^57,885,161-1 Numberwang?
Re:48th Mersenne prime found by ChrisClark on Tuesday February 05, 2013 @05:39PM (#5173787)
Sorry, it was 3.
Re:48th Mersenne prime found by barbs on Tuesday February 05, 2013 @09:27PM (#5174582)
Let's rotate the board!
Re:48th Mersenne prime found by mikecane on Tuesday February 05, 2013 @10:51AM (#5171247)
Re:48th Mersenne prime found by jrajav on Tuesday February 05, 2013 @11:25AM (#5171465)
Well it's not up to date, but it's not wrong either. It says "Largest known ... as of July 2012"
Re:48th Mersenne prime found by ctdonath on Tuesday February 05, 2013 @12:52PM (#5172031)
I've long wondered:

Is 2^(2^(2^(2^(2^(...(2)...)-1)-1)-1)-1)-1 prime for all levels of recursion?

Re:48th Mersenne prime found by pndmnm on Tuesday February 05, 2013 @01:24PM (#5172241)
Those are the Catalan-Mersenne numbers, and it is unknown whether c_5 is prime: http://oeis.org/A007013
Re:48th Mersenne prime found by ctdonath on Tuesday February 05, 2013 @01:57PM (#5172455)
May be. Each value in the series is, in binary, all 1s with the quantity of digits equal to the previous value in the series. Someone took a stab at this theory: http://www.mail-archive.com/[email protected]/msg06260.html
Re:48th Mersenne prime found by littledot5566 on Tuesday February 05, 2013 @12:16PM (#5171802)
When dealing with numbers of such magnitude, how are they stored in memory?
Re:48th Mersenne prime found by iand on Tuesday February 05, 2013 @12:37PM (#5171948)
Even naively 2^257885161-1 can be represented with 257885161 bits, or 30MB.
Re:48th Mersenne prime found by kedean on Tuesday February 05, 2013 @01:48PM (#5172414)
I'm not sure how GIMPS does it, but if you're interested in how it CAN be done you could look into the GMP library for C.
Re:48th Mersenne prime found by Dubslow on Wednesday February 06, 2013 @12:33AM (#5175035)
It's definitely just a standard lots-of-bits. Every bit of information is needed, lose one and the whole test will be wrong. For current wavefront exponents, like 2^60,000,000-1, save files are around 8 MB, or ~60M bits -- exactly what you'd expect.

Also Prime95 doesn't use GMP, its code is all hand-coded assembly, optimized specifically for the LL test and x86 architecture, written by one very dedicated George Woltman.

Re:48th Mersenne prime found by gesman on Tuesday February 05, 2013 @10:14AM (#5171015)
Finally! Now i can sleep well....
Re:48th Mersenne prime found by xy22y on Tuesday February 05, 2013 @04:33PM (#5173362)
If you care what the number actually is, and you have gnu bc, : echo '(2^57885161)-1' | bc > prime.txt

will yield a text file of 17,937,675 bytes, containing all the digits of the number, plus some overhead for newlines and continuation.

Re:48th Mersenne prime found by iso8859-1 on Tuesday February 05, 2013 @07:02PM (#5174144)
if you use a real Unix, you can use dc: »dc -e '2 57885161 ^ 1 - p'«
Re:48th Mersenne prime found by hfsktr on Tuesday February 05, 2013 @12:24PM (#5171860)
Just imagine if we didn't have computers how many fewer primes would have been found.

Even with computers I started wondering how they even go about testing these. I know there are multiple algorithms etc for verification. I meant in the sense of how to keep everything in memory and doing computations on it (I assume that numbers these large aren't trivial to work with).

The history of mersenne primes was a an interesting read though. http://primes.utm.edu/mersenne/index.html

Re:48th Mersenne prime found by scythe on Tuesday February 05, 2013 @04:08PM (#5173234)
The number's representation in binary can fit in RAM comfortably -- it's "only" 3 million bits or so. From there, the goal is to perform the Lucas-Lehmer test in as few operations as possible:

http://en.wikipedia.org/wiki/Lucas-Lehmer_test_for_Mersenne_...

Re:48th Mersenne prime found by undershirt on Tuesday February 05, 2013 @11:32AM (#5171502)
I first wondered they wouldn't just multiply all the prime numbers up to this new prime and then subtract one from it to get an even bigger prime number.

But then I realized that they're not searching for them in sequence. I guess it's a very sparse table of primes once you get up there in the magnitudes.

Re:48th Mersenne prime found by robterrell on Tuesday February 05, 2013 @11:37AM (#5171528)
Or, you could test that theory with some smaller primes and realize it wouldn't work.
Re:48th Mersenne prime found by undershirt on Tuesday February 05, 2013 @11:57AM (#5171679)
oops.
Re:48th Mersenne prime found by cantos on Tuesday February 05, 2013 @12:18PM (#5171818)
It will not necessarily be a larger prime. But it will always be divisible by a larger prime. See http://en.wikipedia.org/wiki/Euclids_theorem (Though not necessarily the next largest prime).

The problem with this approach is that the product of the first n primes grows exponentially as the number of primes increases.

Re:48th Mersenne prime found by speeder on Tuesday February 05, 2013 @09:55AM (#5170884)
The absurd amount of time that takes just to verify the thing, shows how much we have yet to improve our computing power to be able to do more and more precise and groundbreaking science.
Re:48th Mersenne prime found by aartur on Tuesday February 05, 2013 @10:01AM (#5170919)
But... numbers are an infinite, artificial construction, there always will be a number exceeding current computing powers by any wanted factor.
Re:48th Mersenne prime found by gejjaxxita on Tuesday February 05, 2013 @10:03AM (#5170931)
Mersenne primes may not be infinite ;)
Re:48th Mersenne prime found by simias on Tuesday February 05, 2013 @10:05AM (#5170943)
Well, on the other hand, if you try to prove it using this kind of bruteforce exhaustive search you may be in for quite a long time :)
Re:48th Mersenne prime found by gejjaxxita on Tuesday February 05, 2013 @12:59PM (#5172069)
A long time is an understatement! I was of course just being extremely pedantic.
Re:48th Mersenne prime found by lutusp on Tuesday February 05, 2013 @12:24PM (#5171858)
> Mersenne primes may not be infinite ;)

The argument can be made that, because there are an infinity of primes, then either (a) Mersenne primes are also infinite, or (b) a very strange effect prevents Mersenne primes above a certain size, while allowing an infinity of ordinary primes. Occam's razor suggests it's (a).

Re:48th Mersenne prime found by dullcrisp on Tuesday February 05, 2013 @12:54PM (#5172039)
Math doesn't really work that way.

Edit: Less snarkily, the integers are mysterious and not at all well understood and chock-full of effects like the one you mentioned. It's fallacious to simply argue that because there are infinitely many primes, there must also be infinitely many primes of a given type.

Re:48th Mersenne prime found by lutusp on Tuesday February 05, 2013 @04:26PM (#5173312)
> Math doesn't really work that way.

In general, it does. The count of odd numbers in a set of integers. The count of integer square roots derived from a set of integers. And so forth. None of these can be used to argue that Mersenne primes have a fixed non-terminating relationship with their generating function as number size increases, but the reverse assertion cannot be categorically denied either, which is why work in this problem continues.

> It's fallacious to simply argue that because there are infinitely many primes, there must also be infinitely many primes of a given type.

Yes, therefore it's a good thing I didn't do that.

Re:48th Mersenne prime found by gejjaxxita on Tuesday February 05, 2013 @12:57PM (#5172059)
Occam's razor doesn't really work that way.
Re:48th Mersenne prime found by lutusp on Tuesday February 05, 2013 @04:30PM (#5173335)
I used Occam's razor on the basis that, because Mersenne primes continue to appear as number size increases, it's more likely that this trend will continue than to imagine a reason why it wouldn't.

The tl;dr: a continuation of the Mersenne prime series is more likely than its abrupt end, so Occam's razor (only ever an assumption) is applicable.

Re:48th Mersenne prime found by nandemo on Tuesday February 05, 2013 @09:09PM (#5174529)
Occam's razor in its simplest form and applied to math is something like this:

Proof 1: assumptions (i), (ii) imply that there are infinitely many Mersenne primes.

Proof 2: assumptions (i), (ii), (iii) imply that there are infinitely many Mersenne primes.

Both make the same "predictions", which in math it means they prove the "same" theorem. Then we choose Proof 1, because its assumptions are simpler. That's all.

Occam's razor doesn't apply when we are choosing between different theories that lead to different predictions.

Of course one can always conjecture that there are infinitely many Mersenne primes based on "intuition", and then go on to prove other results which rely on that assumption. People do that for P=?NP, for instance. But there's no point in invoking Occam's razor for that.

Re:48th Mersenne prime found by lutusp on Thursday February 07, 2013 @01:49PM (#5183814)
> Occam's razor doesn't apply when we are choosing between different theories that lead to different predictions.

Of course it does. If there are two or more possible outcomes, and one of them has a higher likelihood or represents a simpler solution, it's favored by the thinking behind Occam's razor. This can't be used to prove anything and it's only conjecture, but it's useful for sorting out questions that involve imperfect information.

Re:48th Mersenne prime found by gejjaxxita on Tuesday February 05, 2013 @07:22PM (#5174208)
But that doesn't go anywhere to deciding whether they're infinite or not.
Re:48th Mersenne prime found by lutusp on Wednesday February 06, 2013 @02:35AM (#5175329)
When Andrew Wiles set out to prove Fermat's Last Theorem, the assumption was that it was true -- that there were no integer solutions for a^n + b^n = c^n with n > 2. The reason for the assumption? Occam's razor. And that assumption, like this one, didn't go anywhere to deciding whether it was true or not. It just seemed likely.
Re:48th Mersenne prime found by Someone on Tuesday February 05, 2013 @01:12PM (#5172152)
> Mersenne primes may not be infinite ;)

The argument can be made that, because there are an infinity of primes, then either (a) even primes are also infinite, or (b) a very strange effect prevents even primes above a certain size, while allowing an infinity of odd primes. Occam's razor suggests it's (a).

Or, as another poster said: math doesn't work that way.

Re:48th Mersenne prime found by jessaustin on Tuesday February 05, 2013 @03:48PM (#5173135)
It's up to you whether this is strange or not, but the effect you're looking for is the definition of even numbers.

I don't find the GP's argument credible, but this really isn't a contradiction of it.

Re:48th Mersenne prime found by lutusp on Tuesday February 05, 2013 @04:31PM (#5173352)
> ... because there are an infinity of primes, then either (a) even primes are also infinite ...

I can't resist commenting that, because 2 is the only even prime, this makes it the oddest even number. :)

Re:48th Mersenne prime found by speeder on Tuesday February 05, 2013 @10:26AM (#5171086)
Proving that would be quite hard ;)
Re:48th Mersenne prime found by mkl on Tuesday February 05, 2013 @11:10AM (#5171371)
Not necessarily - proving there are infinite primes is easy. It could be hard or impossible, or it could be easy or moderately hard but either way no one's figured it out yet. (And yes it's sometimes possible to prove that something can't be proved.)
Re:48th Mersenne prime found by gejjaxxita on Tuesday February 05, 2013 @12:55PM (#5172049)
1. It's a major unsolved problem in mathematics - definitely not "easy"!

2. In this case it hasn't been proved that it can't be proved.

Re:48th Mersenne prime found by speeder on Tuesday February 05, 2013 @10:09AM (#5170976)
This is why I mentioned calculating the proof, not finding a new one :)
Re:48th Mersenne prime found by TallGuyShort on Tuesday February 05, 2013 @10:11AM (#5170989)
It sounds the primary motivation behind this project is exactly that. The intention is to push our ability to compute to it's limit.
Re:48th Mersenne prime found by antonb2011 on Tuesday February 05, 2013 @10:30AM (#5171114)
Hey, we should be thankful that primes have cardinality aleph_0, so we can have reasonable algos for exhaustive search at all! ;)
Re:48th Mersenne prime found by VMG on Tuesday February 05, 2013 @01:33PM (#5172316)
There always will be a calculation that takes an absurd amount of time.
Re:48th Mersenne prime found by pkamb on Tuesday February 05, 2013 @03:18PM (#5172978)
> The discovery is eligible for a $3,000 GIMPS research discovery award.

Missed opportunity. Award should be $3,571.113

Re:48th Mersenne prime found by shaurz on Tuesday February 05, 2013 @12:18PM (#5171821)
They give the date to the nearest second but neglect to mention the year...
Re:48th Mersenne prime found by czzarr on Tuesday February 05, 2013 @03:16PM (#5172962)
tl;dr version:

The largest known prime number, 2^(57,885,161)-1, was discovered on January 25th 2013. It has 17,425,170 digits. The new prime number is a member of a special class of extremely rare prime numbers known as Mersenne primes... http://tldr.io/tldrs/51111f3dde23f15658000031/48th-known-mer...

Re:48th Mersenne prime found by jpwagner on Tuesday February 05, 2013 @10:13AM (#5171011)
this is not scalable :P