DeFi News

2035

2032

2030

2029

2028

Any frontier AI company, "soft nationalization"

Other frontier AI firm, "soft nationalization"

xAI, "soft nationalization"

Anthropic, "soft nationalization"

OpenAI, "soft nationalization"

Any frontier AI company, "hard nationalization"

Google DeepMind, "soft nationalization"

Other frontier AI firm, "hard nationalization"

xAI, "hard nationalization"

Anthropic, "hard nationalization"

OpenAI, "hard nationalization"

NO

YES

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

YES

NO

YES

YES

Between $1t and $5t

Between $500b and $1t

>$10tn

Between $5t and $10t

Between $100b and $500b

0 - 4

5 - 9

10 - 19

20 - 29

30 - 49

50 - 100