Will I believe that 13177 is a prime number?
17
100Ṁ3008resolved Feb 18
Resolved
YES1H
6H
1D
1W
1M
ALL
This market resolves to yes if I put more than 50% credence on 13177 being prime after reading your arguments. I won't use a calculator or written calculations to check it myself.
This question is managed and resolved by Manifold.
Get
1,000 to start trading!
🏅 Top traders
# | Name | Total profit |
---|---|---|
1 | Ṁ72 | |
2 | Ṁ8 | |
3 | Ṁ4 | |
4 | Ṁ4 | |
5 | Ṁ1 |
People are also trading
Sort by:
You have to check every prime up to the square root to be certain, but checking the first few gives pretty good odds. 13177 would have to only have prime factors greater than 11, something like 13*17*59 (=13039), to be composite.
Also, this market is getting higher and higher, when (in a counterfactual world where 13177 isn't prime) one single person could place a large NO bet and provide the correct prime factorisation. Either we're all conspiring with no detractors despite a sizable reward for defection, or 13177 is prime.
@Conflux since the square root of 13177 is ~114, wouldn't you hypothetically have to check to prime factors up until that?
WolframAlpha says it's prime.
Also, its last digit is a 7, so 2 and 5 can't be factors, and its digits sum to 19, so it can't be a multiple of 3. 13300 is a multiple of 7, since 7*2000 = 14000 is, and the difference between 13300 and 13177 is 123, which is not a multiple of 7. Meanwhile, 11*1200 = 13200, and the difference is 23, which is not a multiple of 11. I think this provides fairly solid evidence that the number is prime even without trusting what us yes bidders say the calculator says.
Furthermore, it's easier for a no bidder to be convincing - they could just list the factors, and expect you to check the multiplication. The absence of anyone doing this is good evidence the number is prime.
I have too much time on my hands.
People are also trading
Related questions
Will humans say the largest prime number before we find the next one?
6% chance
Will the largest known prime number be non-Mersenne before 2030?
32% chance
Will a problem on the 2027 IMO nontrivially use the fact that 2027 is a prime?
57% chance
Is 65537 the largest Fermat prime?
93% chance