Using generative AI to advance mathematics research and using mathematical queries to improve understanding of generative AI capabilities (AI4Math)
PI: Henry Kvinge, National Security Directorate
AI4Math utilizes generative AI to advance mathematics research and mathematical queries to improve understanding of generative AI capabilities.