Will "Formal verification, heuristic explanations a..." make the top fifty posts in LessWrong's 2024 Annual Review?
4
Ṁ1kṀ270Feb 1
12%
chance
1H
6H
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.
Market context
Get 
1,000 to start trading!
1,000People are also trading
Related questions
Will "Lies, Damned Lies, and Proofs: Formal Methods..." make the top fifty posts in LessWrong's 2026 Annual Review?
14% chance
Will "A Pragmatic Vision for Interpretability" make the top fifty posts in LessWrong's 2025 Annual Review?
44% chance
Will "Problems I've Tried to Legibilize" make the top fifty posts in LessWrong's 2025 Annual Review?
9% chance
Will "How To Become A Mechanistic Interpretability ..." make the top fifty posts in LessWrong's 2025 Annual Review?
50% chance
Will "It's hard to make scheming evals look realist..." make the top fifty posts in LessWrong's 2025 Annual Review?
14% chance
Will "METR Research Update: Algorithmic vs. Holisti..." make the top fifty posts in LessWrong's 2025 Annual Review?
14% chance
Will "This is a review of the reviews" make the top fifty posts in LessWrong's 2025 Annual Review?
8% chance
Will "Von Neumann's Fallacy and You" make the top fifty posts in LessWrong's 2025 Annual Review?
13% chance
Will "Towards Alignment Auditing as a Numbers-Go-Up..." make the top fifty posts in LessWrong's 2025 Annual Review?
14% chance
Will "A computational no-coincidence principle" make the top fifty posts in LessWrong's 2025 Annual Review?
13% chance