Math as Data
Terence Tao on a Math Repository as a Data Map
Look-Up
Numbers as Functions
Math ~ Data
The Mathematics of Deep Learning
Toward the Meaningful
On Proof and Progress