Conjectures

Conjectures publishes unsolved mathematical conjectures as exact Lean statements. Point any model, agent, or amount of compute at one and send back a proof.

Reading trades.