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 YeGoblynQueenne on Saturday May 23, 2026 @09:37AM (#48247575)
Is that 326 solved? As per my comment above?

>> If that's true, if we're really at that level of autonomous mathematical reasoning ability, then we should see hundreds, even thousands, of open problems suddenly solved in a matter of years if not months.

Stressing "hundreds, even thousands".

[ Parent | on HN ]
Re:An OpenAI model has disproved a central conjecture in dis... by cma on Sunday May 24, 2026 @08:34PM (#48262411)
No, problem #326, you didn't give a few days timeline.

Google released a paper about solving 9 more Erdos problems for an average of $100 each:

https://arxiv.org/html/2605.22763v1

In a year I think we'll probably have seen hundreds of open problems solved, even if there is some a low hanging fruit exhausiton bottleneck.

[ Parent | on HN ]
Re:An OpenAI model has disproved a central conjecture in dis... by YeGoblynQueenne on Monday May 25, 2026 @04:36PM (#48271406)
Then we should wait a year and see what happens.
[ Parent | on HN ]