jessicata comments on Some problems with making induction benign, and approaches to them

[jessicata]

I don’t know which open problems have been solved.