
Will "Formal verification, heuristic explanations a..." make the top fifty posts in LessWrong's 2024 Annual Review?
2
1kṀ172026
15%
chance
1D
1W
1M
ALL
As part of LessWrong's Annual Review, the community nominates, writes reviews, and votes on the most valuable posts. Posts are reviewable once they have been up for at least 12 months, and the 2024 Review resolves in February 2026.
This market will resolve to 100% if the post Formal verification, heuristic explanations and surprise accounting is one of the top fifty posts of the 2024 Review, and 0% otherwise. The market was initialized to 14%.
This question is managed and resolved by Manifold.
Get
1,000 to start trading!
Related questions
Related questions
Will "Limitations on Formal Verification for AI Safety" make the top fifty posts in LessWrong's 2024 Annual Review?
14% chance
Will "Mechanistically Eliciting Latent Behaviors in..." make the top fifty posts in LessWrong's 2024 Annual Review?
14% chance
Will "Two easy things that maybe Just Work to impro..." make the top fifty posts in LessWrong's 2024 Annual Review?
13% chance
Will "Shallow review of technical AI safety, 2024" make the top fifty posts in LessWrong's 2024 Annual Review?
24% chance
Will "Why I’m not a Bayesian" make the top fifty posts in LessWrong's 2024 Annual Review?
13% chance
Will "In favour of exploring nagging doubts about x..." make the top fifty posts in LessWrong's 2024 Annual Review?
17% chance
Will "Recommendation: reports on the search for mis..." make the top fifty posts in LessWrong's 2024 Annual Review?
9% chance
Will "o1: A Technical Primer" make the top fifty posts in LessWrong's 2024 Annual Review?
13% chance
Will "Toward A Mathematical Framework for Computati..." make the top fifty posts in LessWrong's 2024 Annual Review?
46% chance
Will "The Standard Analogy" make the top fifty posts in LessWrong's 2024 Annual Review?
14% chance