Mathematical Discovery
Finding structure that proof can then secure.
Conjectures proposed, tested and — sometimes — proved, with machines searching spaces people cannot and formal checkers keeping everyone honest.
Drag to pan · Ctrl + scroll to zoom
Questions being explored
Expeditions in progress
Signals at the edge
- Field convergenceCan machines find mathematical structure people have overlooked?Confidence 0.30 · medium
- Active research frontierUseful quantum advantageConfidence 0.24 · low
1 charted finding and 0 bridge candidates touch this field. See what is charted →
Why this field matters
Mathematics is the one science where a result, once proved, stays proved. Machine assistance could widen the search dramatically — but only if what machines report can be checked, and only if "new" means genuinely new. Both are measurable.
How your support is allocated
Backers who chose a focus are honoured first; the rest follows these weights (demonstration values), then each target’s expected usefulness. Every batch is recorded with its reasons — most recently A-429, $4,548 routed.
- Active expeditions33%
- Replication18%
- Frontier signals12%
- Scouting12%
- Open questions12%
Popularity chooses attention. Evidence chooses knowledge.