An OpenAI model has disproved a central conjecture in discrete geometry

Re:An OpenAI model has disproved a central conjecture in dis... by voxl on Thursday May 21, 2026 @01:29AM (#48218272)

I don't believe the result at all. I think it contains faulty logic. Perhaps the mathematicians involved can read the tea leaves and decide something interesting happened, but all this AI psychosis bullshit still refuses to accept that AIs do not, and cannot, have a mental model of the world.

Moreover, model output is incredibly good at looking credible but being wrong. It has NEVER produced something correct for me in a field of which I am an expert without some external oracle to validate claims (like e.g., Lean)

[ Parent | on HN ]

Re:An OpenAI model has disproved a central conjecture in dis... by golol on Thursday May 21, 2026 @01:58AM (#48218471)

You should believe that the proof works at least as much as any ither paper in mathematics. The proof has been scrutinized by experts and simplified and improved. If you don't believe that then I'm sorry but you are deluding yourself.

[ Parent | on HN ]

Re:An OpenAI model has disproved a central conjecture in dis... by gizmondo on Thursday May 21, 2026 @04:24AM (#48219479)

At this point the term "AI psychosis" is the more apt label for AI skeptics. Here we have literal Fields medalists vouching for correctness and relative importance of the result, but who cares, "I don't believe the result at all". Just pure denial of reality.

[ Parent | on HN ]