Loading profile…

World & Business

Home
Technology
Gaming
Entertainment
World & Business
Science
Sports
AI

Home
Technology
Gaming
Entertainment
World & Business
Science
Sports
AI

Jaume de Dios (@JaumedeDios) on X · Digg

Jaume de Dios

@JaumedeDios

Doing more mathematics by doing less mathematics @NYUDataScience.

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