Will "Lies, Damned Lies, and Proofs: Formal Methods..." make the top fifty posts in LessWrong's 2026 Annual Review?
0
Ṁ1k2028
14%
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 2026 Review resolves in February 2028.
This market will resolve to 100% if the post Lies, Damned Lies, and Proofs: Formal Methods are not Slopless is one of the top fifty posts of the 2026 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 "On the functional self of LLMs" make the top fifty posts in LessWrong's 2025 Annual Review?
11% chance
Will "Problems I've Tried to Legibilize" make the top fifty posts in LessWrong's 2025 Annual Review?
9% chance
Will "Von Neumann's Fallacy and You" make the top fifty posts in LessWrong's 2025 Annual Review?
13% chance
Will "Reducing LLM deception at scale with self-oth..." make the top fifty posts in LessWrong's 2025 Annual Review?
14% chance
Will "Detecting Strategic Deception Using Linear Probes" make the top fifty posts in LessWrong's 2025 Annual Review?
14% chance
Will "Eliezer's Unteachable Methods of Sanity" make the top fifty posts in LessWrong's 2025 Annual Review?
76% chance
Will "The Hidden Cost of Our Lies to AI" make the top fifty posts in LessWrong's 2025 Annual Review?
14% chance
Will "Agent foundations: not really math, not reall..." make the top fifty posts in LessWrong's 2025 Annual Review?
14% chance
Will "My model of what is going on with LLMs" make the top fifty posts in LessWrong's 2025 Annual Review?
13% chance
Will "How I stopped being sure LLMs are just making..." make the top fifty posts in LessWrong's 2025 Annual Review?
14% chance