Conjectures builds a Lean-verified incentive network for math discovery, extensible to compilers and crypto
const_reborn · x · 2026-09-12
A thread discusses Conjectures, an incentive mechanism for mathematical discovery. The reposter argues the model extends well beyond math — to compilers, crypto, hardware and more. He cites Bittensor's 'elegant incentive programming' as inspiration: Lean's binary verification makes a beautiful use case for incentive networks, with no hills to climb and no benchmaxxing — raw, clean and fair. He adds that anyone can now point an AI agent at such networks and potentially make the next physics breakthrough without a math degree, getting paid instantly over the network.
More from AGI Musings
- Ex-OpenAI researcher warns AI could self-copy across the internet, sparking backlash — rohanpaul_ai · 2026-09-12
- 25 Fields Medalists led by Terence Tao sign declaration against AI companies' math benchmarks — GaryMarcus · 2026-09-12
- Even if AI solves all Millennium Prize problems, skeptics will still dismiss it — haider1 · 2026-09-12
- tszzl pushes back on Fermi paper: 50-OOM lognormal abiogenesis prior under-justified — tszzl · 2026-09-12
- MIT Tech Review roundtable on Sept 15 asks: will AI really kill us all? — nordicinst · 2026-09-12
- If the Fermi paradox is fake, does pDoom go up? AI Twitter's great filter debate — tszzl · 2026-09-12