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 geometry. Key innovations include the development of "Polyhedral-GPT," which integrates large language models to provide clear, interpretable outputs, and the integration of optimization, algebraic geometry, and SAT solvers to facilitate automated proof processes. This research is expected to significantly advance the understanding and application of polyhedral geometry in various scientific and engineering domains, as well as the potential of AI for mathematical reasoning. The project also supports educational initiatives and promotes diversity and inclusivity in STEM fields.
Mod # | Description | Reason For Modification | Federal Obligation (Click to sort descending) | Date (Click to sort ascending) |
|---|---|---|---|---|
| Not listed | $400.0k | 8/20/24 |