Why “NL” is being discussed
The most recent Hacker News stories and comments contributing to this topic's mentions.
Quote from paper worth being aware of: "Disclaimer: We do not make claims about the correctness of OpenAI’s NL proof, we only make statements about mistranslations into Lean."
by afolkest · Oct 7, 2026
No. What the paper says is that in principle, translating NL statements to Lean statements is hard. Nobody doubts that, translating informal to formal text cannot be formally pr…
by auggierose · Oct 7, 2026
In addition to those issues that the wife in the story raised, here's some meta-analysis of the Navier-Stokes result that puts all of these solutions into question: https:/…
by dualvariable · Oct 7, 2026
This paper is a large amount of nothing. First, natural language is not as precise as lean, so you have multiple ways to translate a NL argument to Lean. As shown in Fig 1, the…
by vanyle · Oct 7, 2026
It's not actually the same model that solved the problem that did the translation. Astra did the translation after the intenral model produced the NL Proof. As for the discrepan…
by famouswaffles · Oct 7, 2026
Is not a natural language (NL) proof a demonstration of mastery and understanding? If you understand the Lean, then you can create a NL proof. The LLM clearly doesn't understand…
by upboundspiral · Oct 7, 2026
Interest
Proportion of Hacker News items mentioning "nl" over time.
Mentions
Total number of Hacker News items mentioning "nl" over time.
NL may stand for: Read more on Wikipedia