Will the new non-constructed proof of the 4-color theorem prove essentially correct?
117
2.2kṀ17kresolved Jan 1
Resolved
NO1H
6H
1D
1W
1M
ALL
The proof is on Arvix here (https://arxiv.org/abs/2212.09835) and discussed here (https://t.co/TByPMW2sY2). Will it prove to be essentially correct?
If there are flaws in execution, but they are fixed in reasonable time (e.g. <1 year after a flaw is found) and the overall approach works, or no flaws are found by the deadline, this will resolve to YES. If the proof cannot be salvaged within a year, or the authors publically say it can't be fixed, it resolves to NO. If the proof has no known flaws at the end of 2023, it resolves to YES.
(I will probably rely on Austin to resolve gather the intel and resolve this market)
This question is managed and resolved by Manifold.
Get 
1,000 to start trading!
1,000🏅 Top traders
| # | Name | Total profit |
|---|---|---|
| 1 | Ṁ107 | |
| 2 | Ṁ89 | |
| 3 | Ṁ88 | |
| 4 | Ṁ62 | |
| 5 | Ṁ56 |
People are also trading
Related questions
Will Goldbach's conjecture be proved before 2040?
44% chance
Is Haborth's Conjecture true?
70% chance
Will we have a formalized proof of the Modularity theorem by 2029-05-01?
65% chance
When will we have a fully formalized proof of the Poincare Conjecture?
Is the abc conjecture correct?
80% chance
Will Goldbach's conjecture be proved before 2030?
23% chance
Is the preprint proof of Goldbach's weak conjecture sound?
81% chance
Will Goldbach's conjecture be proved before 2050?
61% chance
If P=NP is proven, will the first proof be constructive?
29% chance
Will we have a formalized proof of Fermat's last theorem by 2049-05-01?
91% chance