Will I believe that 13177 is a prime number?
17
12
Ṁ3Kresolved Feb 18
Resolved
YES1D
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.
Get Ṁ200 play money
Related questions
🏅 Top traders
# | Name | Total profit |
---|---|---|
1 | Ṁ58 | |
2 | Ṁ8 | |
3 | Ṁ4 | |
4 | Ṁ4 | |
5 | Ṁ1 |
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.
Related questions
Related questions
Will the 52nd Mersenne prime be discovered before the end of 2024?
20% chance
Will a proof of Fermat's Last Theorem simple enough for Fermat to have possessed be found by 2027?
5% chance
Is 65537 the largest Fermat prime?
93% chance
Will I attend a college with a prime number of letters in its name?
34% chance
Will there be a new largest known prime number by the end of 2026?
55% chance
Will any prime factor of the 1801st Fibonacci Number be found by 2025?
27% chance
Will a blank-slate AI prove the infinitude of primes by 2025-11-03?
40% chance
Will the next nice number be found by a Proofnik?
38% chance