# Our Old Friend, the Twin Primes Conjecture

• tuttlerice
In summary, the conversation discusses the difficulty in striking the right tone when presenting a potential proof of the twin primes conjecture. The speaker acknowledges that confidently claiming to have a proof can be annoying, but being too unsure can also be frustrating. They then present their own proof, which involves considering specific numbers and proving that they are not divisible by twin primes. They also mention a YouTube video they made with more details. Another person joins the conversation and presents their own criteria for twin primes, but the speaker points out that it may not give all twin primes and asks for a proof of its validity. The conversation ends with a discussion of counterexamples to both proposed proofs.
tuttlerice
I have to be honest--- I am not sure exactly the right tone to strike here. I find that if one comes in cocksure proclaiming "I have a proof of the twin primes conjecture! SOLVED! QED, BAY-BAY!" then one achieves a great deal of annoyance, and rightly so. On the other hand, it also seems like "well, I'm probably wrong, and I just want to learn from the experience of having my proof shot down" equally achieves annoyance.

I really do not want to annoy anyone. I swear. I just want to strike a posture that is somewhere in between--- I think I have something worth looking at, but I concede it could be wrong, because people make mistakes.

But I've written what I hope to be a proof that I think is promising. It does not involve sieves; it is not another variation on Euclid's multiply-them-all-together-and-add-1 approach. I've read pretty much every false proof on here and I do see how these repeatedly asserted mistakes can annoy.

The essential structure is as follows:

1) Consider the numbers S where S is an odd not divisible by any twin prime and Q that is a non-twin prime > 3.
2) Prove that given S and Q as described in (1) there exists a number D such that Q-D is a twin prime and S-D is not divisible by Q-D.
3) Prove that where S-Q=A, A is not divisible by some twin prime. This is because A=(S-D)-(Q-D), and (S-D)-(Q-D) is not divisible by one particular twin prime (namely, Q-D: Q-D is divisible by Q-D but S-D is not).
4) This means given S and Q as constructed, if A + Q = S, then A is not divisible by some twin prime.
5) Assume there are finitely many twin primes.
6) Consider P# as a primorial (including 2 as a factor) that includes all the finitely many twin primes as factors.
7) Consider P# + Q, where Q is a non-twin prime > 3. Its sum, S, is an odd not divisible by any twin prime because P# is divisible by all of them but Q is not divisible by any of them.
8) Observe that P# + Q = S follows the form A + Q = S as described in (4).
9) This means P# is not divisible by some twin prime, per (4).
10) This is a contradiction--- P# by definition is divisible by all the twin primes. The only resolution is that the supposition of (5) must be incorrect, and there are infinitely many twin primes.

I made a youtube video with the details (i.e., a formal proof is presented there).

My e-mail address and real name are in the video. While obviously I'm not against discussing it here if people are interested, I'd actually prefer discussing it with real people under real names privately if anyone cares to. I find people are much more considerate and compassionate when they are not hiding behind pseudonyms. (Yes, I'm a little insecure, I admit it.) Also, I promise not to argue tediously and relentlessly once someone points out a flaw to me. I sympathize with those who have been embroiled in those frustrating kinds of conversations.

If you have a plausible proof why not discuss it with one of your math professors? Perhaps it could get posted on the Arxiv and get greater exposure to people who can really review it.

I can propose the following criteria of twin primes conjecture:
Natural numbers N1=6n+5 and N2=6n+7, n=0,1,2,3,..
are twins if and only if no one of three equations
n=6xy-x+y-1; x>=1; y>=1
n=6xy-x-y-1; x>=1; y>=x;
n=6xy+x+y-1; x>=1; y>=x;
has integer solution.
Attached: convenient C++ program for finding primes

#### Attachments

• matsieve.R7program.docx
3.3 KB · Views: 263
Is this a personal theory? or are you looking for help with your program?

Yes, this criteria of twin primes based on derived "alternative definition" of prime numbers:
Natural numbers that do not appear in arrays
P1(i,j)=6*i*j-i+j-1; i=1,2,3,...; j>=i
P2(i,j)=6*i*j+i-j-1; i=1,2,3,...; j>=i+1
are indexes p of ALL PRIMES in the sequence S1(p)=6*p+5, p=0,1,2,3,...
Natural numbers that do not appear in arrays
P3(i,j)=6*i*j-i-j-1; i=1,2,3,...; j>=i
P4(i,j)=6*i*j+i+j-1; i=1,2,3,...; j>=i
are indexes p of ALL PRIMES in the sequence S2(p)=6*p+7, p=0,1,2,3,...
Attached C++program was successfully tested for N up to 2*10^18

Last edited:
Yorshick said:
I can propose the following criteria of twin primes conjecture

This may or may not give all twin primes (you haven't given a proof or a reference to one), but assuming it does, how does it show that there are an infinite number of twin primes?

Example. n=37. N1=S1(37)=37*6+5=227; N2=S2(37)=37*6+7=229
37=6*x*y-x+y-1; y=(38+x)/(6*x+1); x=1; y=39/7; x=2;y=40/13; x=3;y=41/19;...no integer solution
37=6*x*y-x-y-1; y=(38+x)/(6*x-1); x=1; y=39/5; x=2;y=40/11; x=3;y=41/17;...no integer solution
37=6*x*y+x+y-1; y=(38-x)/(6*x+1); x=1; y=37/7; x=2;y=36/13; x=3;y=35/19;...no integer solution
N1, N2- twin primes
n=36. N1=S1(36)=36*6+5=221; N2=S2(36)=36*6+7=223
36=6*x*y-x+y-1; y=(37+x)/(6*x+1); x=1; y=38/7; x=2;y=39/13=3 - integer solution
36=6*x*y-x-y-1; y=(37+x)/(6*x-1); x=1; y=37/5; x=2;y=38/11; x=3;y=39/17;...no integer solution
36=6*x*y+x+y-1; y=(35-x)/(6*x+1); x=1; y=34/7; x=2;y=33/13; x=3;y=32/19;...no integer solution
N1, N2- not twin primes

Yorshick, we're not looking for more examples. We're looking for (a) a proof that your rule applies to *all* twin primes, and (b) an explanation of how your rule shows that there are an infinite number of twin primes, which is the issue under discussion.

Counterexample: There is no solution for N=122, but 6N+5=737 is not prime.

The first claim in the first post also has a counterexample that is more complicated to construct.
Edit: To extend that: choose an arbitrary value of Q. No matter what S we choose, D<Q so we have a finite number of possible D where Q-D is prime (no pair needed). Now all we have to do is to find an odd number S such that S-D divides all possible values of Q-D.
As all values of Q-D are primes by construction, this is always possible and will give an counterexample.

Last edited:
n=122. N1=S1(122)=6*122+5=737; N2=S2(122)=6*122+7=739

122=6*x*y-x+y-1; y= (123+x)/(6*x+1); x=1; y=124/7; x=2;y=125/13; x=3;y=126/19; x=4;
y=127/25; x=5;y=128/31... x=11; y=134/67 = 2 - integer solution
N1=737 and N2=739 are not twin primes

Last edited:
Proof of criteria of twin primes is contained in attached file.
It follows from primality criteria (section 4).

#### Attachments

• matsieve.9.pdf
73.2 KB · Views: 457
Last edited:
Sorry, missed that number in the collection of solutions.
Anyway, this is not the right place for original research. If this is published research please give a reference, then we can discuss it (in a new thread). Otherwise, it is not an acceptable reference until published.

## 1. What is the Twin Primes Conjecture?

The Twin Primes Conjecture is a mathematical hypothesis that states there are infinitely many pairs of prime numbers that are 2 numbers apart from each other. For example, 3 and 5, 11 and 13, and 17 and 19 are all pairs of twin primes.

## 2. Why is it called the Twin Primes Conjecture?

The conjecture is named after the concept of twin primes, which are two prime numbers that differ by 2. The name was first used by French mathematician Alphonse de Polignac in the 19th century.

## 3. Has the Twin Primes Conjecture been proven?

No, the conjecture has not been proven yet. It remains an unsolved problem in mathematics and is classified as one of the Millennium Prize Problems by the Clay Mathematics Institute.

## 4. What is the significance of the Twin Primes Conjecture?

If proven to be true, the Twin Primes Conjecture would provide a deeper understanding of prime numbers and their distribution. It could also potentially lead to the discovery of new mathematical concepts and techniques.

## 5. What progress has been made towards proving the Twin Primes Conjecture?

Over the years, mathematicians have made significant progress towards proving the conjecture, but it remains unsolved. In 2013, Yitang Zhang proved that there are infinitely many pairs of primes that are less than 70 million apart. This was a major breakthrough, but a proof for the conjecture is still elusive.

• Precalculus Mathematics Homework Help
Replies
8
Views
2K
• Linear and Abstract Algebra
Replies
4
Views
2K
• Precalculus Mathematics Homework Help
Replies
4
Views
1K
• Calculus and Beyond Homework Help
Replies
15
Views
2K
• Linear and Abstract Algebra
Replies
8
Views
4K
• Calculus and Beyond Homework Help
Replies
3
Views
637
• Linear and Abstract Algebra
Replies
14
Views
5K
• Linear and Abstract Algebra
Replies
4
Views
2K
• Engineering and Comp Sci Homework Help
Replies
1
Views
1K
• Linear and Abstract Algebra
Replies
9
Views
1K