The intersection of machine learning and mathematical logic — spanning computer science, pure mathematics, and statistics — has catalyzed recent advances in artificial intelligence and deep learning ...

Theoretical physicists use machine-learning algorithms to speed up difficult calculations and eliminate untenable theories—but could they transform what it means to make discoveries? Theoretical ...