The 57 Grothendieckian Problems: open problems for math and machine reasoning

The 57 Grothendieckian Problems compile open challenges at the intersection of mathematics and machine learning, offering a ready source for researchers to prot