Loading profile…

Loading activity…

World & Business

Home
Technology
Gaming
Entertainment
World & Business
Science
Sports
AI

Home
Technology
Gaming
Entertainment
World & Business
Science
Sports
AI

Jaume de Dios (@jaumededios) · Digg

Jaume de Dios

@jaumededios

Doing more mathematics by doing less mathematics @NYUDataScience.

following
followers

Featured in

AI

Mathematician Updates Lean Formalization Progress

Scott Armstrong details his 2026 workflow shift from impossible to practical.

2 Sources, 60d ago, first seen 60d ago

Connections

@JaumedeDios