Project Grant 2617279

The National Science Foundation Directorate for Mathematical and Physical Sciences awarded Howard University $199,460 on September 1, 2026, under the Mathematical and Physical Sciences program (CFDA 47.049) for a collaborative research project developing a rigorous framework for mathematicians and artificial intelligence systems to accelerate discovery in number theory and combinatorics.

The work establishes a four-phase iterative workflow: generating and curating large datasets of complex number-theoretic and combinatorial objects; applying machine-learning methods to detect non-obvious patterns within these datasets; interpreting AI model decisions to translate internal logic into precise mathematical conjectures and algorithms; and validating resulting claims through rigorous mathematical proof and automated verification. The project will transform patterns detected by AI into understandable, rigorously verified mathematical statements, emphasizing interpretable, trustworthy, and verifiable methods that support national priorities in responsible AI use.

Beyond advancing pure mathematics, the project will establish reproducible methodologies applicable to other data-intensive scientific fields. Howard University will strengthen collaboration between mathematics and AI communities through a biweekly virtual seminar, summer schools, conferences, and research opportunities for students and early-career researchers. Datasets, software, and educational resources developed under the award will be made publicly available.

Performance occurs in Washington, DC 20059. The period of performance runs from September 1, 2026, through August 31, 2029. This is a Project Grant, classified as assistance funding.