OptionVotes
YES
NO
1222
818
2000
824
OptionProbability
Grover Project w/ Or
[James's system of equations for multichoice mechanism versions](https://manifold.markets/JamesGrugett/solve-these-equations-for-a-simpler#pcfde0bgc1)
Formalizing "Categorical Composable Cryptography"
SNARK project w/ Sanjam
Data availability phase changes
`nazg`: Proving Ring Equalities Done Wrong
Post-quantum backdoorable VDFs
Iuvenes Project w/ Or
Mechanism design to incentivize `mathlib` contribution
Optimal sampling for statistical democracy w/ Surya
Formal Proof for Marlin w/ Pratyush
Eigenlayer Project w/ Or
NeRF the world
TEE via physics/materials science w/ Sylvain
Krugman's Interstellar trade redux
Solving Hanabi
Automated Market Maker Monte Carlo w/ @EvanDaniel
Quantum cowry shells
range saturation tactic
Mixing for slow traders
Homotopy theory DeFi
Violating classical consensus impossibility results with quantum
Poisson average-case TSP
Efficient polynomial multiplication for mathlib
Paradoxical hiding in ROM
100
66
25
24
23
22
21
20
19
18
17
16
15
14
13
Carlos Alcaraz
Jannik Sinner
Other
Lorenzo Musetti
Learner Tien
Novak Djokovic
Alexander Zverev
Taylor Fritz
Alex de Minaur
Casper Ruud
Felix Auger-Aliassime
Ben Shelton
Alexander Bublik
Jack Draper
96
95
73
65
50
35
28
12
9
150
121
136