Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

An OpenAI model has disproved a central conjecture in discrete geometry

openai.com

Post reply on HN
Print view View original

621–630 of 1001 posts

Re: An OpenAI model has disproved a central conjecture in discrete geometry

#621

Post by doctorwho42 »

fartfeatures wrote: post #555
mathgradthrow wrote: post #530

Earlier quoted context omitted.

I think when your work is no longer required, you will probably come to regret this sentiment, not that it matters.

I think by that point humanity will having some pretty fundamental discussions about the nature of work and money.

At that point, if AI can do 75-99% of what you do... Why should anyone pay you to live/survive?

Humanity is having those discussions, heck you are in one RIGHT NOW not some Hollywood future.

What is coming of those discussions is the ownership class balks at the idea of raising their taxes (see recent interview with bezos), and therefore balks at the idea that you or I should have any value beyond what we produce... And if AI can replace you or I, well how do we survive if we can't produce in a technological society?

Re: An OpenAI model has disproved a central conjecture in discrete geometry

#622

Post by necovek »

Enginerrrd wrote: post #599
fartfeatures wrote: post #555

Earlier quoted context omitted.

I think by that point humanity will having some pretty fundamental discussions about the nature of work and money.

Go ahead and have that conversation with the billionaires running a worldwide satellite grid of data centers to power their AI surveillance dragnet and autonomous robot soldiers. See how far it’ll get you.

If they don't have millions/billions of customers to spend koney on whatever they are selling, their riches become irrelevant too.

Money is valuable only as it changes hands for goods/services, and if you want to get rich, on top of having/producing/controlling something everybody desires, you also need as many people as possible to have money to give you in exchange for a piece of that something.

Re: An OpenAI model has disproved a central conjecture in discrete geometry

#623

Post by inciampati »

trostaft wrote: post #232

Speaking as a postdoc in math, I must say that this is rather exciting. This is outside of my field, but the companion remarks document is quite digestible. It appears as though the proof here fairly inspired by results in literature, but the tweaks are non-trivial. Or, at least to me, they appear to be substantial to where I would consider the entire publication novel and exciting. Many of my colleagues and I have b…

I am also using these models to accelerate scientific discovery. Yes, they are making all the difference at the frontier. At least, they feel they are. The messy thing is that we still need to communicate with each other and that's not getting dramatically faster or better. As you note the models need to be built so they do more work to participate in our communication economy. Or we will do so much, alone, to get nowhere fast because so much of our behavior is still bound up in old (good, tested, but clunky) ways of building shared knowledge.

Re: An OpenAI model has disproved a central conjecture in discrete geometry

#624

Post by zamadatix »

raincole wrote: post #280

I like how everyone laughed when OpenAI said their models will have "PhD-Level Intelligence" and now the goalpost has been moved to if AI can create new math (i.e., not PhD-Level, but Leibniz/Euler/Galois level.)

My only complaint is the claims always start spreading 6-12 months before the delivery. A little patience goes a long way in what's possible with AI and we all just have to wait and see what parts actually grow this next cycle or not. Guessing at it based on trend lines only leads to people getting excited when it matches their particular guess and ignoring it when it doesn't.

Re: An OpenAI model has disproved a central conjecture in discrete geometry

#625

Post by xbmcuser »

trostaft wrote: post #232

Speaking as a postdoc in math, I must say that this is rather exciting. This is outside of my field, but the companion remarks document is quite digestible. It appears as though the proof here fairly inspired by results in literature, but the tweaks are non-trivial. Or, at least to me, they appear to be substantial to where I would consider the entire publication novel and exciting. Many of my colleagues and I have b…

This is the main thing that I keep harping about that human knowledge is too vast today for a person or even a group of people and llm will change that many discoveries that require serendipity in the past will be more likely than ever

Re: An OpenAI model has disproved a central conjecture in discrete geometry

#626

Post by cwillu »

jldugger wrote: post #430
edbaskerville wrote: post #92

Earlier quoted context omitted.

I just visited a McDonald's for the first time in a while. The self-order kiosk UI is quite bad. I think this is evidence in favor of the idea that an incompetent AI will soon be incompetently running a McDonald's.

>The self-order kiosk UI is quite bad. Most repeat customers use the app, which sports the digital equivalent of a loyalty program, and various coupons. And lets you save your 'usual' order with customizations etc. Plus the annoying push notifications for FreeFrydays or whatever. And upsells, new product launches, etc. My recollection is that the kiosk is just a weak facsimile of the app. And wasn't terrible, but eve…

> Plus the annoying push notifications for FreeFrydays or whatever. And upsells, new product launches, etc.

Which is why I will never reinstall their damned app.

Re: An OpenAI model has disproved a central conjecture in discrete geometry

#627

Post by outpost_mystic2 »

bigstrat2003 wrote: post #605
frozenseven wrote: post #156

Earlier quoted context omitted.

Show me on the anatomical prop where the magical " real reasoning " gland is.

Nice smug attitude, but LLMs fall flat on their face over and over and over again at tasks no human would fail. They can't even reason out things that literal children succeed at. It's ludicrous to claim that they have some kind of reasoning ability.

> It's ludicrous to claim that they have some kind of reasoning ability.

Did you read the post that you're commenting on?

It seems wholly believable to me that they are narrow intelligences that are great at some kinds of reasoning and worse at other kinds. Obviously they can reason through problems that most adult humans can't solve

Re: An OpenAI model has disproved a central conjecture in discrete geometry

#628

Post by doctorwho42 »

antonvs wrote: post #579
mathgradthrow wrote: post #530

Earlier quoted context omitted.

I think when your work is no longer required, you will probably come to regret this sentiment, not that it matters.

There's an unstated assumption there, which is that you'll have some reason to continue to want your work to be required. In the (probably unlikely) event that AI use results in a post-scarcity economy in which there's no need to work to survive, a lot of people wouldn't regret sentiments like the ones in question. On the contrary, it would mean they could work on whatever they please, including potentially standing…

And how do you see us getting from what we currently have: a working class and capital/ownership class, where a vast majority of society is required to work 40+ hrs/week to sustain their ability to live.

To a society that provides a livelihood to all humans, equally?

For, I would love to hear how we get from here to there during an era with the largest wealth disparity ever seen in human history. (Yes, it's worse than the robber Baron era of US history). For I have yet to see any signs that the capital/ownership class has any intentions other than vacuuming up even more wealth and power for themselves. And that anathema to your desired outcome.

Re: An OpenAI model has disproved a central conjecture in discrete geometry

#629

Post by necovek »

vatsachak wrote: post #582
pamcake wrote: post #570

Earlier quoted context omitted.

> Obviously playing Kasparov on the board requires more planning ability than managing a McDonald's Not obvious and in fact I think the opposite is way more likely. Chess is well-defined and self-contained in a way that managing a restaurant with fleshy customers never will be.

That's true. I should clarify by saying I meant that a human playing on par with Kasparov obviously has the planning ability to manage a McDonald's

But that is also non-obvious. Even managing human employees — let alone customers — required a planning ability related to emotional intelligence that many a person with good pure logic ability simply lacks.

Also, there will be hundreds of disparate tasks that are happening in parallel, and even humans still make up frameworks to discover most urgent/important work that needs to be done first.

Re: An OpenAI model has disproved a central conjecture in discrete geometry

#630

Post by doctorwho42 »

ninjagoo wrote: post #595
mathgradthrow wrote: post #530

Earlier quoted context omitted.

I think when your work is no longer required, you will probably come to regret this sentiment, not that it matters.

> I think when your work is no longer required i wonder if this is physically/mathematically impossible: the mere act of living involves processing energy, and therefore doing work :) And there is a lot of energy to be processed in this Universe before the heat death...

If you can reach it... The universe is expanding, and matter is being dispersed by both that and other forces.

Mind you, there are places in the universe that we have no way of knowing ever existed... The non-obserable universe if you will. For when physicists talk of the observable universe, it is only the fraction we have any chance of receiving data/light/radiation of/from

Post reply on HN