Will "Lies, Damned Lies, and Proofs: Formal Methods..." make the top fifty posts in LessWrong's 2026 Annual Review?

Prediction market on manifold. 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%.

24h Volume: $20. Liquidity: $1,000. Resolves: 2/1/2028.