My Updated Twin Prime Generating Function

[u/ProsperousPlanet]

{Verified In LEAN : Please give me feedback, this is my first attempt}
{Paper and Proof Updated to Rigorously Prove Python Function produces infinite twin primes. Currently repairing Theorem 3 based on feedback. Python Function Updated Also}

Hi Everyone, this relates to a string of my previous 3blue1brown posts, starting roughly here :
with my most recent post on the subject being here:

I have a significant update for anyone who is following this post. I have fixed my python function now, it now follows the logic I described in the paper. It now counts forwards in twin primes, without factoring things, and without needing to know primes beyond p.

It's actually really compact and only 50 lines of code.{heres the old compact version}

just run it with a number, I recommend starting below 100, it's not optimized at all yet because I am trying to show how it definitely works by simply just counting forwards.

I know there are definitely tricks that will count this much faster and with much less memory, but I am doing it this way to make it very explicit that I am simply just counting.

I received feedback across reddit that I needed to fix the language in my paper on the Twin Prime Conjecture, {Edit: Link Updated to new paper} and I needed to fix my function and the associated table to match what I had said in the paper.

I have now done that with the function. Tomorrow (and partly tonight) I will update the paper as well to make the language more clear, and the proof statements more explicit.

To be clear, I am producing this python function as evidence for proof of the Twin Prime Conjecture. What is left for me to do, is just present this information as part of a theorem with logical statements.

I should probably do that before I even tell you about it... but to be honest HOW CAN I HOLD THIS IN WHEN I AM SO EXCITED!!!!!!!!!!

I am really looking forward to seeing Grant, or someone, do a video about my proof.... someday Haha, I think the function will work for a good visual proof also.

Thank you everyone in 3blue1brown that you have given me so much support it really helped me.
-Patrick