Researchers have developed an artificially intelligent system that does the exact opposite of living in the moment. But it doesn’t just think a few steps ahead—it thinks millions of steps ahead. A ...

Two recent collaborations between mathematicians and DeepMind demonstrate the potential of machine learning to help researchers generate new mathematical conjectures. Mathematicians often work ...

Large language models still struggle with basic reasoning tasks. Two new papers that apply machine learning to math provide a blueprint for how that could change. The world has learned two things in ...

Catalog description: Presents the underlying theory behind machine learning in proofs-based format. Answers fundamental questions about what learning means and what can be learned via formal models of ...