
Two professors awarded AI Seed Grant to advance algebraic proof systems
Can artificial intelligence allow computers to ensure safe autonomous systems and prior optimization? Two Princeton teachers think it can, and they have received a research grant earlier this year to explore IA improvement in mathematical evidence systems used to ensure the safety and efficiency of complex technologies. Operational research and financial engineering teacher Amir Ali…