Scott Armstrong

@scottnarmstrong

CNRS DR at LJLL/Sorbonne and Math Prof at Courant/NYU. Research in math physics, probability, analysis/PDE http://www.scottnarmstrong.com

following
followers

Long PDE or probability papers can reportedly be formalized in 24–48 hours

A user says that includes many prerequisites likely absent from mathlib, though harder projects can take longer.

4 Sources, 14d ago, updated 14d ago

Livestream host asks whether OpenAI solved Navier–Stokes

The host’s September 9 announcement said the discussion would examine what would count as a verified solution and what such a result could mean for artificial general intelligence.

116 Sources, 38d ago, first seen 38d ago

Mathematician Updates Lean Formalization Progress

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

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

Featured in

Long PDE or probability papers can reportedly be formalized in 24–48 hours

Livestream host asks whether OpenAI solved Navier–Stokes

Mathematician Updates Lean Formalization Progress

Featured in

Long PDE or probability papers can reportedly be formalized in 24–48 hours

Livestream host asks whether OpenAI solved Navier–Stokes

Mathematician Updates Lean Formalization Progress