Trendler
İlgili Piyasalar
Bağlam için ilgili sorular; eşdeğer sözleşmelerin karşılaştırması değildir.
When will Birch and Swinnerton-Dyer be resolved?
When will the Hodge Conjecture be resolved?
When will P vs NP be resolved?
Will formal verification become "mainstream" before 2031?
Will "Lies, Damned Lies, and Proofs: Formal Methods..." make the top fifty posts in LessWrong's 2026 Annual Review?
Will P vs NP be resolved by 2043?
Kurallar
Market will be resolved to Yes if at least one of the open problems from DeepMind's formal-conjectures gets decided before 2027.
+6 daha fazla sonuç
+8 daha fazla sonuç
+8 daha fazla sonuç
+10 daha fazla sonuç
+6 daha fazla sonuç
+7 daha fazla sonuç