Anders C. Hansen

Researcher

MathematicsMachine learning

Now Professor, Faculty of Mathematics · University of Cambridge

maths.cam.ac.uk ↗

Latest on AI4S.fyi

COMMENTARY · 2026-10-06

Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs

Path

University of CambridgeProfessor, Faculty of Mathematics

Sourcesmaths.cam.ac.ukEducation and jobs are read from their own homepage or employer's page; papers checked on arXiv. From LinkedIn only the person's own public posts are read; GitHub is a link only.

Photo from maths.cam.ac.uk · Contact →

Commentary by them

2026-10-06Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs

Something wrong or missing on this page? Tell me and it will be fixed or removed. Contact →