Nanometers

Nanometers is a private research project at the intersection of artificial intelligence and pure mathematics. The project focuses on applying frontier language models to classical open problems in combinatorics, number theory, and extremal graph theory.

Research Interests

• Additive combinatorics and sum-free sets
• Ramsey theory and extremal graph theory
• AI-assisted mathematical reasoning
• Formal verification and proof assistants (Lean 4)
• Efficient inference and distributed computation

Contact

For inquiries about the project, collaboration proposals, or access requests, please contact hello@nanometers.org.

Source code and documentation are available on GitHub.