Cornell mathematicians win grants to ensure AI safety, research integrity
Cornell University mathematicians received major grants to advance AI safety and AI-powered mathematics research. College of Arts & Sciences faculty Lionel Levine and Daniel Halpern-Leistner are developing tools for safer AI systems and computer-verified mathematical reasoning.