Meta FAIR's François Fleuret argues mathematics is falling to automation and predicts fundamental physics is next · Digg