Project Grant 2522850
Award Date 9/1/25
Completion Date 8/31/28
Dollars Obligated $100K
Funding Federal Agency
Awarding Federal Agency
Federal Grant Program
Assistance Type
Project Grant
Place of Performance
Providence, RI 02912, USA
Similar Awards
- This Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) aims to develop a new artificial intelligence (AI) system that can assist mathematicians in solving the longstanding Hadamard Conjecture. The $25,000 award, with a project period from September 1, 2025 to August 31, 2028, will be conducted by the University of California, Berkeley. The research will combine the strengths of large language models...
- This Project Grant award from the National Science Foundation (CFDA 47.049 - Mathematical and Physical Sciences) aims to develop a new artificial intelligence (AI) system that can work alongside mathematicians to tackle complex problems that have resisted solutions for nearly a century. The $0.00 award, effective September 1, 2025 through September 30, 2025, will focus on the Hadamard Conjecture, a longstanding open problem with applications in quantum error correction, communication systems,...
- This federal Project Grant award, valued at $225,000.00 and provided by the National Science Foundation (NSF) under the Mathematical and Physical Sciences program (CFDA 47.049), aims to develop a new artificial intelligence (AI) system to work alongside mathematicians in tackling complex mathematical problems that have remained unsolved for nearly a century. The research combines the strengths of large language models and formal verification tools to create a unified framework for scalable,...
- This federal Project Grant award of $322,400.00 from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE, CFDA 47.070) program was provided to The Leland Stanford Junior University (Stanford University) to develop artificial intelligence (AI) systems capable of accelerating mathematical research and theorem proving. The goal is to create the first AI system able to prove graduate-level mathematical theorems and tackle unsolved problems that challenge...
- This $300,000 federal Project Grant award from the National Science Foundation's (NSF) Mathematical and Physical Sciences program (CFDA 47.049) aims to develop innovative Artificial Intelligence (AI) tools to study polyhedra, which are fundamental geometric shapes with wide-ranging applications. The key objectives of the project include: Leveraging AI techniques like diffusion methods and reinforcement learning to generate diverse, high-quality polyhedral samples Integrating large language...
- This Project Grant award for $225,000.00, provided by the National Science Foundation (NSF) under the Mathematical and Physical Sciences Federal Grant Program (CFDA 47.049), aims to develop a new artificial intelligence (AI) system that works alongside mathematicians to tackle complex mathematical problems. The project, titled "COLLABORATIVE RESEARCH: AIMING: TOWARDS THE HADAMARD CONJECTURE: A UNIFIED NEUROSYMBOLIC REASONING AND FORMAL VERIFICATION PARADIGM," will combine the strengths...
- The National Science Foundation (NSF) awarded Carnegie Mellon University a $567,000 Project Grant under the Mathematical and Physical Sciences federal grant program (CFDA 47.049). The grant, which runs from September 1, 2025 to August 31, 2028, supports the "AIMING: A NEURO-SYMBOLIC APPROACH TO MECHANIZED MATHEMATICAL REASONING" project. This project aims to develop novel AI techniques that combine machine learning and symbolic AI methods to advance mathematical reasoning and the...
- The National Science Foundation (NSF) awarded a $285,000 Project Grant under the Mathematical and Physical Sciences (CFDA 47.049) program to the University of Utah to conduct research on hyperbolic geometry in two- and three-dimensional spaces. The project, running from August 1, 2024 to July 31, 2027, will focus on studying the geometry of hyperbolic 3-manifolds, including investigating the renormalized volume of such manifolds and the connection to the Weil-Petersson gradient flow. The...
- This Project Grant award, funded by the National Science Foundation's (NSF) Division of Mathematical Sciences under the Mathematical and Physical Sciences Federal Grant Program (CFDA 47.049), aims to develop innovative artificial intelligence (AI) tools to enhance the study of polyhedra. The $400,000 award, with a performance period from September 15, 2024 to August 31, 2027, will support the creation of new methods for data generation, knowledge discovery, and formal reasoning in polyhedral...
- This Project Grant award, valued at $250,000.00, was provided by the National Science Foundation's (NSF) Mathematical and Physical Sciences (CFDA 47.049) program to Brown University. The primary focus of this 3-year project is to conduct research in the areas of moduli theory and birational geometry within the field of algebraic geometry, which has important applications in coding, industrial control, computation, and theoretical physics. Key research activities include studying the...