r/askmath • u/ProsperousPlanet • 5h ago
Algebra Does this Twin Prime Proof Hold Water? - Fixed Previously brought up issues.
Hi Everyone, I recently posted in this reddit about my proof for a Twin Prime Conjecture.
In that thread I got feedback that my Theorem 3 and Lemma 5 were broken and I had gaps in my logic.
I believe I have addressed those issues now, and so if you are willing I am grateful if you can have a second look.
I am looking for people to show me where the proof is currently weak as they see it.
Because, I think I have it, and it's rigorous, and if I don't have it, I think the remaining gaps in logic are small now if there are any at all.
I do intend over the next week to attempt to put this into Lean and try to verify it that way.
But in the meantime, I am here to ask for some potential roadblocks any of you might see for me doing that, so I can catch them earlier, because I am unfamiliar with Lean.
This new paper fixes the problems brought up about my previous Theorem 3 and Lemma 5.
It is the same mathematical construction, however I have approached the logical statements in a different method than I previously did, and I believe I have overcome the hurdles now.
This paper also has a companion python function which works as a finite representation of how the function works.
The python function itself cannot act as the proof because you would have to run the function for an infinite length of time with infinite computer resources in order to use that as proof.
However it does serve as an easy to understand implementation of the function and proof posed in the paper.
A quick read of the Abstract can give you a good understanding of exactly how I am intending to solve the TPC
Thank you in advance for anyone willing to spend some time on this to help me out.
Also I am hosting the paper on my own site incase Zenodo is down.
https://prosperousplanet.ca/research/TwinPrimes.pdf
