Largest Twin Prime Yet Discovered
Chris Chiasson writes "The Twin Internet Prime Search and PrimeGrid have recently discovered the largest known twin prime. A twin prime is a pair of prime numbers separated by the integer two. The pair discovered on January 15th was 2003663613 * 2195,000 ± 1. The two primes are 58,711 digits long. The discoverer was Eric Vautier, from France."
Are you kidding? Those are easy to find! Try getting two primes separated by the integer three...
Succinct, on a subject undeniably nerdy, and mostly devoid of spelling mistakes. Also, not 'edited' by Zonk.
Ninjas and pirates. How piquant.
Seriously. I'm not a math major, etc. But I'm curious, is this of value? Other than of course as a curiosity.
Some people are very good at finding these primes. The now disposed record twin prime's finder was prof. Járai, whose lectures I attended.
I find it interesting that the guy who works with insanely cool things like primes gave mind-numblingly boring lectures. He basically read his book out aloud. Some people are just very good at research and very bad at teaching.
It takes a man to suffer ignorance and smile
Be yourself no matter what they say
generally, yeah. most prime numbers are odd.
...
i'm so sorry.
Actually, a twin prime is a pair of numbers n + 1 and n - 1 such that both are prime. For example, 41 and 43 are twin primes. Incidentally, if n is greater than 4, then n is always a multiple of 6; this is fairly easy to prove to yourself.
One down, infinity more to go. Proof by enumeration, here we come...
most prime numbers are odd.
Only on slashdot would the parent get moderated as "informative"...
Tarsnap: Online backups for the truly paranoid
Are you kidding me?!? I'm going to use that as my new encryption key! It will be like UBER-secure and take ten hundred billion, billion YEARS to guess!
[...]
Um... I wasn't supposed to tell you that, was I?
Javascript + Nintendo DSi = DSiCade
Finding twin primes like this is mostly just an elaborate computational game which doesn't really tell much about the mathematical structure of twin primes. It doesn't help at all with knowing whether there are infinitely many or not, for example. The same goes for other searches for large primes.
;)
Also, if you're asking about real-world practical considerations, the primes used in practical work by comparison are tiny. Using such large primes for things like cryptography would be stupid for a number of reasons, not the least of which being that there are only so many known such primes out there, the size of your key would give it away. Personally, I don't know of any practical use for twin-primes or Mersenne primes, or any of the other classes of large primes being searched for.
It's really more just for fun, like computing digits of pi. However, devising new ways to access large twin primes, for instance, results in improvements of our knowledge of them. It's those new theorems and algorithms which people might get excited about. Running a computer for hours or days or months to actually find the things is less interesting.
"The discoverer was a computer in France, owned by Eric Vautier."
I never felt like I should be allowed to take credit for what my screen saver does. Espcially since the whole point is that it does it when I'm not doing anything.
'Course this will all be sorted out when computers can vote.
Now we all know the best numbers to use for a PGP key.
For the curious...
It's the only even prime number.
Let's see if it really is fairly easy :)
:)
That gives us 5 other things to try:
No odd numbers can be the base of a twin prime because adding or subtracting one leaves an even number which cannot be prime (except 2), so that knocks out
6n+1, 6n+3, 6n+5.
6n+2 and 6n+4.. why are those no good?
6n+2 doesn't work because 6n is always a multiple of 3, adding 2 and then 1 (for the higher of the potential of the 2 twin primes) is also divisible by three, so it can never be a prime.
6n+4 has the same problem, just on its lower possible twin prime.
That took me longer to figure out that I'm happy with, but I think I got it
Most people here probably know this but:
There is no biggest prime number and the proof is 2 sentences long.... here it is:
Assume there is a largest prime P(n) and thus there is a finite list of all prime numbers: P(1), P(2), P(3),.....P(n). "*" here means multiply.
Well then (P(1)*P(2)*...*P(n))+1 must be prime: whenever you divide that number by prime(s) you always have a 1 left over....but (P(1)*.....*P(n))+1 is obviously bigger than P(n) so our initial assumption of a largest prime number must be wrong. QED.
One of the interesting things for mathematicians (or at least this ex-mathematician) is that you tweak the question just a little bit: "Is there a largest "twin prime"?" and heavy duty brains pound on the question for centuries with no answer. I have had NIGHTMARES over that one....which is one reason I am an ex-mathematician.
Another funny thing about higher math is it has been defended as useless (Hardy: A Mathematicians Apology) but then three guys go and invent RSA and all of a sudden my privacy depends on the properties of prime numbers.
and not prime mates?
This article is worthless without pictures.
Help stamp out iliturcy.
It occurs to me that the power consumed for this kind of calculations is quite high. Back when I was doing seti@home, the classic one, they explicitly told people not to let computers running for the sole purpose of calculation, even asking them to turn them of when you guys in the US had a power crisis. There are people running farms of computers just for the fun of it. *sigh*
seti, primes and stuff might be important, but I'd like to still have some power left to radio a reply to E.T.
Time for an old classic: How to prove that all odd numbers are prime? ... 9/3 is prime, 11 is prime, 13 is prime, 15 is ... 15/3 is prime, 17 is prime, 19 is prime, 21 is ... 21/3 is prime...
Quantum Physicist:
All numbers are equally prime and non-prime until observed.
Professor:
3 is prime, 5 is prime, 7 is prime, and the rest are left as an exercise for the student.
Confused Undergraduate:
Let p be any prime number larger than 2. Then p is not divisible by 2, so p is odd. QED
Measure nontheorist:
There are exactly as many odd numbers as primes (Euclid, Cantor), and exactly one even prime (namely 2), so there must be exactly one odd nonprime (namely 1).
Cosmologist:
3 is prime, yes it is true....
Computer Scientist:
10 is prime, 11 is prime, 101 is prime...
Programmer:
3 is prime, 5 is prime, 7 is prime, 9 will be fixed in the next release, ...
C programmer:
03 is prime, 05 is prime, 07 is prime, 09 is really 011 which everyone knows is prime, ...
BASIC programmer:
What's a prime?
COBOL programmer:
What's an odd number?
Windows programmer:
3 is prime. Wait...
Mac programmer:
Now why would anyone want to know about that? That's not user friendly. You don't worry about it, we'll take care of it for you.
Bill Gates:
1. No one will ever need any more than 3.
ZX-81 Computer Programmer:
3 is prime, Out of Memory.
Pentium owner:
3 is prime, 5 is prime, 7 is prime, 8.9999978 is prime...
GNU programmer:
% prime ... ... ... 3 is prime, 5 is prime, 7 is prime, 9 is ... 3 is ...
Well, this problem has different solutions whether you are a: Mathematician: 3 is prime, 5 is prime, 7 is prime, and by induction we have that all the odd integers are prime. Physicist: 3 is prime, 5 is prime, 7 is prime, 9 is an experimental error... Engineer: 3 is prime, 5 is prime, 7 is prime, 9 is prime... Chemist: 3 is prime, 5 is prime... hey, let's publish! Modern physicist using renormalization: 3 is prime, 5 is prime, 7 is prime, 9 is
usage: prime [-nV] [--quiet] [--silent] [--version] [-e script] --catenate --concatenate | c --create | d --diff --compare | r --append | t --list | u --update | x -extract --get [ --atime-preserve ] [ -b, --block-size N ] [ -B, --read-full-blocks ] [ -C, --directory DIR ] [--checkpoint ] [ -f, --file [HOSTNAME:]F ] [ --force-local ] [ -F, --info-script F --new-volume-script F ] [-G, --incremental ] [ -g, --listed-incremental F ] [ -h, --dereference ] [ -i, --ignore-zeros ] [ --ignore-failed-read ] [ -k, --keep-old-files ] [ -K, --starting-file F ] [ -l, --one-file-system ] [ -L, --tape-length N ] [ -m, --modification-time ] [ -M, --multi-volume ] [ -N, --after-date DATE, --newer DATE ] [ -o, --old-archive, --portability ] [ -O, --to-stdout ] [ -p, --same-permissions, --preserve-permissions ] [ -P, --absolute-paths ] [ --preserve ] [ -R, --record-number ] [ [-f script-file] [--expression=script] [--file=script-file] [file...]
prime: you must specify exactly one of the r, c, t, x, or d options
For more information, type "prime --help'' Unix programmer: 3 is prime, 5 is prime, 7 is prime,
Segmentation fault, Core dumped. Computer programmer: 3 is prime, 5 is prime, 7 is prime, 9 is prime, 9 is prime, 9 is prime, 9 is
Oops, let's try that again:
3 is prime, 5 is prime, 7 is prime, 9 is
Um, right. Okay, how about this:
3 is not prime, 5 is not prime, 7 is not prime, 9 is not prim
Non-Linux Penguins ?
Well then (P(1)*P(2)*...*P(n))+1 must be prime:
No, no and even more no. Let's say my list of known primes is (3,5). 3*5+1 = 16 is not prime, all you've proven is that your list of primes is incomplete. It is only an existance theorem, and can not be used to find new primes.
Live today, because you never know what tomorrow brings
The poster is not wrong, his proof is correct. It is a proof by contradiction. He ASSUMES (for the sake of trying to find a contradiction), that there are finitely many primes P(1), ..., P(n). If there WERE only those finitely many primes, than the number P(1)*...*P(n)+1 WOULD be prime (because it's not divisible by any of them), which WOULD be a contradiction. Get it? Of course it's true that 2*3*5*7*11*13+1 may not be prime. But the poster didn't prove that P(1)*...*P(n)+1 is ALWAYS prime, he proved it was prime IF those are the only primes, which is enough to get a contradiction.
;)
Anyways, talking about what Euclid did is kind of irrelevant here (except from a historical perspective, of course). What he said wouldn't hold up in most math classes these days. Rather than doing an actual general proof, he says, "assume there are only 3 primes p,q,r. Then p*q*r+1 would also be prime, contradiction!" or something like that. Proof conventions have changed somewhat since then
Anyways, I guess this shows us that Slashdot's moderation system is no substitute for peer review in mathematics, even for really basic problems... surprise!