Will the “sum of 3 palindromes” theorem be formalized by the end of 2024?
2
82
Ṁ21Ṁ70
Dec 31
35%
chance
1D
1W
1M
ALL
Every positive integer is the sum of 3 palindromes: https://arxiv.org/abs/1602.06208
Resolves YES if a formalization of this paper, in a computer proof assistant, is published before market close.
The paper provides a constructive proof, and the theory of digits and palindromes are well developed in both Coq and Lean. So it’s just a matter of whether someone will bother to do it.
Get Ṁ200 play money
Related questions
Will there be a new largest known prime number by the end of 2026?
61% chance
Will a plausible proof obfuscator be found by end of 2024?
76% chance
Will we have a formalized proof of the Modularity theorem by 2029-05-01?
60% chance
Will someone beat the 3x3x3 Rubiks Cube world record by the end of 2024?
34% chance
Will the majority of mathematicians rely on formal computer proof assistants before the end of 2040?
65% chance
When will we have a fully formalized proof of the Poincare Conjecture?
Will the Collatz Conjecture be proved true by December 2024?
Will the record for the largest known Mersenne prime be broken by the end of 2024?
16% chance
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
59% chance
Will a 3x3 magic square of distinct perfect square numbers be proven impossible by end of 2025?
15% chance