News for hackers. Stuff that matters.
Re:An OpenAI model has disproved a central conjecture in dis... by bananaflag on Thursday May 21, 2026 @02:05AM (#48218525)
As a mathematician, new, conceptual math is when I'll become interested in reading LLM output.

I appreciate very much the work done so far, but this sort of asymptotic/quantitative result didn't interest me much even when it was done by humans.

(This is not snobbery, just a personal preference.)

Re:An OpenAI model has disproved a central conjecture in dis... by kamaal on Thursday May 21, 2026 @02:47AM (#48218791)
Well that's coming.

As a matter of fact more logic and structure to your work, the more easy it is for AI to conquer it. Due to this programming was the first thing that got solved, but pure sciences are next.

If what you do, and how you do can be written down on a piece of paper, then AI can do it.

I do believe programming getting solved will be double assault on these fields.

>>This is not snobbery

This is good for the species, what sense does it make to keep treating these fields like they are reserved for the top most intelligent micro percentage of humans? Getting LLM to these things gives some scale to these subjects and thats good.

Re:An OpenAI model has disproved a central conjecture in dis... by alt227 on Thursday May 21, 2026 @03:19AM (#48219045)
> Well that's coming.

So is AGI, but we may be hundreds of years off still.

Re:An OpenAI model has disproved a central conjecture in dis... by toilet on Thursday May 21, 2026 @04:43AM (#48219615)
I have no idea about research in mathematics: How will mathematicians judge what constitutes new conceptual math that is actually useful, vs a hallucination that might be novel but doesn't introduce anything actual meaningful?
Re:An OpenAI model has disproved a central conjecture in dis... by RedCinnabar on Thursday May 21, 2026 @08:09AM (#48221336)
It’s basically up to the domain experts. What I found interesting in mathematical optimization/combinatorics (my fields of interest) when an AI proved some major results some time ago was probably dismissed as a boring fact by someone else. What OP is mentioning is just their personal preference and doesn’t reflect the actual opinion of the mathematical world.
Re:An OpenAI model has disproved a central conjecture in dis... by bananaflag on Friday May 22, 2026 @10:35AM (#48236493)
> What OP is mentioning is just their personal preference and doesn’t reflect the actual opinion of the mathematical world.

Indeed, I never claim that my idiosyncrasies represent math at large.

Re:An OpenAI model has disproved a central conjecture in dis... by bananaflag on Thursday May 21, 2026 @11:17AM (#48224249)
Same as when humans do it.

Human mathematicians frequently introduce new pointless abstractions just to churn out papers. And they are not accepted in serious journals, but they sometimes find a place in some mediocre or bad journal.

Of course, AI will increase this phenomenon manifold.