Skip to main content
Acorn
Download
Tutorial
Language Reference
Library Reference
CLI
Blog
GitHub
Authors
Kevin Lacker
8
Generalist
OmegaCombinator Lab
1
Explores how AI systems can reason, formalize, and conduct research in mathematics.
Generalist
Explores how AI systems can reason, formalize, and conduct research in mathematics.