Mathematical Discovery with a Multi-Model AI System
Problem
The BSD Conjecture is a Millennium Prize problem. On the massive Cremona database of elliptic curves, we needed large-scale computation, pattern discovery, and hypothesis falsification — no single model could handle this alone.
Approach
43 runs, 302 skills, 1,682 tool calls. Exploration mode: multi-model divergence → resonance → 13 annotated hypotheses. Deterministic computation handled falsification. 6/7 strongly resonant hypotheses survived verification. One decisive fact discovered deterministically → exploration mode generated explanations → three papers in 43 hours.
Verifiable Results
8 computational number theory papers on Zenodo; a complete methodological longitudinal case study (Part 4), including all fabrications by the AI drafting layer — published, not hidden.
What This Proves
On problems where the answer does not exist in any training data, this system produces new knowledge that survives verification. Your business problem is almost certainly easier than the BSD Conjecture.