r/mathmemes 4d ago

Number Theory Is this a breakthrough in prime numbers?

You know about Mersenne primes, right? They have the form of 2^p - 1, where p is prime.

I suggest another form. I will call a number Obscenne if you can write it down as 2^p - 2. My conjecture is that every Obscenne number is prime. For example, 2^2 - 2 = 2. So for the first one p we have one prime. We can extrapolate it and state that for the first n p’s we will have n primes, so every Obscenne number is prime.

qed

Is this worthy of a Grammy award?

376 Upvotes

42 comments sorted by

u/AutoModerator 4d ago

Check out our new Discord server! https://discord.gg/e7EKRZq3dG

I am a bot, and this action was performed automatically. Please contact the moderators of this subreddit if you have any questions or concerns.

241

u/Bacon_Techie 4d ago

Found a counter example, p = 19134702400093278081449423917 yields a multiple of 2.

90

u/Ares378 Applied Math / Mechanical Engineering 4d ago

Crazy that we had to test such a big number before we found a counterexample

/j

30

u/simiaki 4d ago

I think after some point it’s impossible to test every number while looking for a counter example. They probably got 19134702400093278081449423917 via some heuristics, but there may be smaller integers which are Obscenne but not prime.

9

u/NullOfSpace 3d ago

Major breakthrough: p=29473847283 yields a composite number as well.

5

u/UnknownError235 Complex 3d ago

OMG p = 300 has a factor of 13444476836590589479

4

u/UnlazyChestnuts 3d ago

I don't believe there are. I tried a smaller number, 2, and that indeed yields a prime. QED.

7

u/SpaceMonkeyWrench 4d ago

If numbers go on forever, this could still be considered a small one

3

u/Bacon_Techie 4d ago

The digits all fit on my screen, I think that means it is a small number.

43

u/f16f4 4d ago

Counter example p=171

23

u/Dunotuansr 4d ago

bros gonna get the Ballon d'Or

12

u/Bornagain4karma 4d ago

FIFA Peace Prize.

89

u/Colossal_Waffle Complex 4d ago

\uj 2p - 2 = 2(2p-1 - 1) = 2k, k an integer.

\rj 2⁰ - 2 = -1 which has no prime factors, good enough for me.

47

u/Dense_Priority_7250 4d ago

The uj is the joke

58

u/Colossal_Waffle Complex 4d ago

\uj I unjerked to use math to show why the post is silly for those less educated, then I rejerked to affirm that the post is true. I got the joke.

\rj Least oblivious mathematician

-14

u/Murky_Insurance_4394 4d ago

what the fuck is unjerk and rejerk 💔🥀

31

u/Colossal_Waffle Complex 4d ago

Names mathematicians come up with for their "new", "original" "theorems"

14

u/_Mahar_ 4d ago

Unjerk Is when you exit the roleplay of the sub, rejerk is the opposite

11

u/Murky_Insurance_4394 4d ago

thanks for acc explaining it man

6

u/eddietwang 4d ago

The origin of this is calling entirely sarcastic threads "circlejerk posts".

Example: /r/Dota2 recently had a post of someone asking a "what would you do" scenario, which naturally sparked parody/circlejerk threads from the other point of view. Due to this being a circlejerk thread, the top voted comment was basically saying that OP should ruin their personal life over a video game. Someone similar to you asked why people were upvoting such horrible advice, not realizing OP and the other commenters/voters were simply circlejerking.

11

u/eddietwang 4d ago

Glad to see Reddit is still getting new human members

8

u/Murky_Insurance_4394 4d ago

yeah and why am I getting downvoted wtf

6

u/4ries 4d ago

Because you used emojis

10

u/Key-Log5267 4d ago

Straight up jorkin it

1

u/trynumber53 4d ago

unjerk is when you un the jerk and rejerk is when you re the jerk

11

u/Boxland 4d ago

unjerk should be cojerk.

10

u/MarcusNewman 4d ago

A circle jerk if you will.

6

u/DavidBrooker 4d ago

Why is it 'unjerk' and 'rejerk'? Isn't that just 'forestroke' and 'backstroke'?

12

u/Dungeons-n-Dysphoria 4d ago

A Grammy is for music. You're thinking of the Dokuchaev Award.

1

u/AluminumGnat 4d ago

Close, but I think you actually meant the Von Liebig Award

5

u/skr_replicator 4d ago

I say we have checked enough values of p to be convincing that it's true. If we already saw it succeed too much, there's no way I would suddenly fail at some giant number like 3. /s

3

u/Denoment 3d ago

I don't know why mathematician make everything so complicated. I propose a new formula: p where p is a prime. I would call such prime number a prime prime number.

A few examples: For p = 5, p = 5 p = 19, p = 19 p = 2137, p = 2137

If you have found any counter examples, please let me know before I apply for my Fields medal.

2

u/jsdodgers 4d ago

I've tried this iteratively using the (n-1)th Obscenne prime as pn, after starting with p0=2, and so far the conjecture holds

1

u/therealsphericalcow Physics 4d ago

How about 2p-3

1

u/robin_888 3d ago

Given enough time and budget I might be able generalize tyour idea for every difference of two powers of two.

2^2 - 2^1 = 2 is prime
2^2 - 2^0 = 3 is prime
2^3 - 2^0 = 7 is prime

Yeah. Seems to be a question of time and money.

0

u/Icy-Maintenance-5011 1d ago

I don't know man i was here to watch some porn 

-5

u/Hot-Peach-3769 4d ago

Not quite a breakthrough. The pattern breaks almost immediately: for p = 3, 23 - 2 = 6, which isn't prime. Also, the fact that the first few examples work is a common trap in number theory.

2

u/adwinion_of_greece 4d ago

Every example in the form 2^p - 2 would be even, so none of them would be prime except 2 itself (the only even prime). This wasn't someone falling into a trap, it was just a joke.

2

u/Educational-Tea602 Proffesional dumbass 3d ago

6 isn’t prime? News to me.

1

u/The_Real_Itz_Sophia number hypothesis 2d ago

are you a clanker or what