News for hackers. Stuff that matters.

A comment on How An AI math breakthrough ignited a controversy. Parent comment

Re:How An AI math breakthrough ignited a controversy by fpvandoorn on Wednesday September 09, 2026 @09:21AM (#49626113)
They actually used Lean statements that were carefully human-written and human-reviewed, from here https://github.com/google-deepmind/formal-conjectures/blob/m...

This doesn't guarantee that the statement is correct (Lean cannot do that), but makes it highly likely.

[ Parent | on HN ]
Re:How An AI math breakthrough ignited a controversy by JohnKemeny on Wednesday September 16, 2026 @05:09AM (#49723850)
Your link 404s

> The main branch of formal-conjectures does not contain the path `FormalConjectures/Millenium/NavierStokes.lean.`

[ Parent | on HN ]