News for hackers. Stuff that matters.

A comment on An OpenAI model has disproved a central conjecture in discrete geometry. Parent comment

Re:An OpenAI model has disproved a central conjecture in dis... by aspenmartin on Monday May 25, 2026 @04:03PM (#48271012)
We can use things like Lean for math proofs, verification is tractable.
[ Parent | on HN ]

There are no comments on this comment yet.