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 pojzon on Friday May 22, 2026 @02:12AM (#48232580)
There is one issue with this. When noone can prove or disprove what AI came up with.

Currently we can live with it because someone can review that work. Soon we wont be able.

[ Parent | on HN ]
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 ]