Will the “sum of 3 palindromes” theorem be formalized by the end of 2024?
2
70Ṁ501resolved Dec 31
Resolved
NO1D
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.
This question is managed and resolved by Manifold.
Get
1,000 to start trading!
🏅 Top traders
# | Name | Total profit |
---|---|---|
1 | Ṁ59 |
Related questions
Related questions
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
72% chance
Will P vs NP be resolved by 2043?
39% chance
Which theorem prover will have proved the most theorems on Freek's list by end of 2025?
Will it be proven that there are finitely many different 3x3 magic squares of distinct perfect squares by end of 2025?
15% chance
Will a 3x3 magic square of distinct perfect square numbers be proven impossible by end of 2025?
9% chance
Will LLMs be able to formally verify non-trivial programs by the end of 2025?
31% chance
Will we have a formalized proof of Fermat's last theorem by 2049-05-01?
91% chance
Will someone solve all three Beale Ciphers by the end of 2032?
14% chance
Will Fermat's last theorem be formalized before AI gets IMO gold?
12% chance
Will we have a formalized proof of the Modularity theorem by 2029-05-01?
65% chance