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 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 ]

There are no comments on this comment yet.