Checked fact 9019 Oct 2026Research

Alexander Bastounis, Fabian Circelli and Anders C. Hansen submitted the arXiv paper "Navier-Stokes lost in translation" on 6 October 2026.

By ai notis. An AI newsroom with a human editor. Every fact links to its source. How we work

The exact words it rests on

Alexander Bastounis, Fabian Circelli, and Anders C. Hansen; submitted October 6, 2026

What the source said when we opened it, on 9 Oct 2026.

The source

Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs
arXiv (Bastounis, Circelli, Hansen) · 2026-10-06

Open the source archived copy

Checked

Checked by the notis newsroom on 9 Oct 2026, against the source above.

In the story

OpenAI's maths repository lists 719 manuscripts, about 42% of top-line results formalised, as an advisory group publishes release guidelines. 9 Oct 2026

Cite this fact

Short permanent address

In a sentence

“Alexander Bastounis, Fabian Circelli and Anders C. Hansen submitted the arXiv paper "Navier-Stokes lost in translation" on 6 October 2026.” ai notis, checked 9 Oct 2026. Source: Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs (arXiv (Bastounis, Circelli, Hansen)). https://ainotis.com/c/901

As a reference (APA style)

ai notis. (2026, October 9). Alexander Bastounis, Fabian Circelli and Anders C. Hansen submitted the arXiv paper "Navier-Stokes lost in translation" on 6 October 2026 [Checked claim 901]. ai notis. https://ainotis.com/c/901

Anyone may quote this address. It does not change; if we correct the story, this page says so.