Frontier questions
We begin with difficult, precise problems where new mathematics could materially change what is possible.
VDL / About
About the Lab
VeriDiscover Lab is an independent research lab building verifiable discovery loops for mathematics.
Mission
Discover new mathematical knowledge. Make every claim answerable to its evidence. Put rigorous ideas to work.
We work across pure mathematics, formal methods, scientific theory, and problems arising in practice. Automation widens the search; it does not set the standard of truth.
Principles
What we hold constant
Human judgment
Mathematicians formulate the target, direct the search, and interpret why a result matters.
Machine reach
AI expands the number of routes that can be explored, tested, compared, and refined inside one research loop.
Verifiable results
The loop ends in evidence that can be independently examined, reused, and carried into new domains.