
Will "Formal verification, heuristic explanations a..." make the top fifty posts in LessWrong's 2024 Annual Review?
Plus
2
Ṁ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%.
Get Ṁ1,000 play money
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