Two professors awarded AI Seed Grant to advance algebraic proof systems
Professors Amir Ali Ahmadi and Pravesh Kothari are pioneering the use of artificial intelligence to enhance complex mathematical proof systems, with applications in robotics, optimization, and automated reasoning. Their research aims to overcome current computational barriers using machine learning, potentially enabling AI to verify system safety and even prove sophisticated mathematical theorems.
Professors Amir Ali Ahmadi and Pravesh Kothari are pioneering the use of artificial intelligence to enhance complex mathematical proof systems, with applications in robotics, optimization, and automated reasoning. Their research aims to overcome current computational barriers using machine learning, potentially enabling AI to verify system safety and even prove sophisticated mathematical theorems.
