Frontier mathematics
We take on difficult problems at the frontier of mathematics, where new structures and proof strategies have to be found.
Independent · Princeton-rooted
Mathematical discovery, made verifiable.
We work on frontier problems in mathematics and build systems where AI and mathematicians explore, reason, challenge, and verify together. New results are in progress.
VDL / Discovery system
AIMathematicians
Advanced interaction systems and working modes for sustained collaboration between mathematical judgment and machine intelligence.
Current research
From exploration
to checked knowledge.
Verification methods
Proof auditing, exact computation, and formal checking that connect every result to the claim it actually establishes.
Mathematics in use
Transferring new structures and verified results into difficult problems across science, engineering, and industry.
Human × AI
A new mode of mathematical collaboration.
We develop advanced systems and research protocols for AI and mathematicians to work as one discovery loop—from search and conjecture to proof and independent checking.
Some major results are on the way.
Writing
Notes from the discovery loop.
Research notes, proof audits, failed routes, and ideas worth carrying forward.Read the writing