Earlier quoted context omitted.
This is not at the top as it is actively flagged by people that can't psychologically cope with the advances of AI. Hacker News is no longer a web site of an elite.
Didn't know I was part of an elite.
Ten advances in mathematics and theoretical computer science
341–350 of 1001 posts
Re: Ten advances in mathematics and theoretical computer science
#342Earlier quoted context omitted.
It depends on your definition. For me it would have to be able to do the stuff humans can do like make a cup of coffee (Wozniak test). Just maths isn't really general enough for the G in AGI.
It can give you detailed instructions for making a coffee. Is that not enough? Actually making coffee requires more than intelligence, it requires eyes and limbs (i.e., robotics). Think about a human that is blind and does not have limbs. Does he not have natural general intelligence, even though he is not able to make a cup of coffee?
Re: Ten advances in mathematics and theoretical computer science
#343Earlier quoted context omitted.
That's totally disjointed from anything in this thread. The main accusation is that openai is cherrypicking math problems and we should be against these results. As if a mathematical proof stops being provably correct because it was cherry picked And frankly these "concerns" ignore reality. In any research phd course you're actively told to bite off something small and likely to be provable so that you can prove it (…
It's disjointed? The post that started this sub-thread asked: > 1. How many total problems were given to the model, and what percent were left unsolved at what cost before giving up? 2. How many attempts did you give the model at solving these problems? 3. How expensive was the harness, e.g. did the model have access to a job cluster? I think it's an extremely relevant question to ask, because it helps us better unde…
If these 10 problems were solved by humans, it would be pretty impressive, even if it took a large number of researchers! Yet when AI does it, HN commenters suddenly feel the urge to play accountant.
Re: Ten advances in mathematics and theoretical computer science
#344Earlier quoted context omitted.
It can give you detailed instructions for making a coffee. Is that not enough? Actually making coffee requires more than intelligence, it requires eyes and limbs (i.e., robotics). Think about a human that is blind and does not have limbs. Does he not have natural general intelligence, even though he is not able to make a cup of coffee?
The Wozniak test has it with a robot body going into a house, finding a coffee maker and making a cup. I guess you can vary the rules as you like.
Re: Ten advances in mathematics and theoretical computer science
#345Earlier quoted context omitted.
It’s artificial, it’s general, and it’s intelligence. The people who believe “AGI” is an important and unattained goal need to start coining and defining their terms better.
A true AGI will continuously improve itself without periodic retraining from scratch. Just like humans.
Re: Ten advances in mathematics and theoretical computer science
#346Earlier quoted context omitted.
I can't help but wonder about the human motivation there though. For instance as it became increasingly clear that LLMs were capable (and becoming ever more capable) of competently solving meaningfully complex software development tasks, suddenly then there came to be a lot of talk of 'prompt engineering' as a skill. The chronology doesn't make a ton of sense unless you consider that the main motivation may have been…
> suddenly then there came to be a lot of talk of 'prompt engineering' as a skill. I would've thought pretty much the exact opposite. "Prompt engineering" was somewhat important in 2023/2024 when the models were much weaker, it doesn't seem at all necessary anymore (unless just "clearly stating your requirements" counts as prompt engineering). Most of the discussion I've seen seems consistent with this?
Re: Ten advances in mathematics and theoretical computer science
#347Earlier quoted context omitted.
Seriously? We already know how to solve all of these issues. What we lack is collective political will.
There is boundless technology we have not yet discovered. I think that we understand we have problems. I don't believe we actually know how to solve them all. And yeah, the lack of collective political will sucks. It would be naïve, however, to think that there is no value in ensuring longevity in our current and future infrastructure. And improving it to sustain the population giving these companies their value is a…
Re: Ten advances in mathematics and theoretical computer science
#348Earlier quoted context omitted.
You shouldn't be getting downvoted for something that a majority of pure math and art enthusiasts believe to be true. The truth is many of these entrepreneurs and VCs are obsessed with AI not for money or human progress, but because it makes them feel closer to being a "god" rather than a mere mortal. Much of it (especially AI art) is out of spite for human creativity, which is done by mortals with limitations.
Taking the stance of moral superiority is kind of funny. And pure math and art enthusiasts don't think they are closer to being a "god" from understanding/"discovering" math? Stop coping and deluding yourself mate. To begin with, whether AI is the one doing the discovering or not makes no difference. Any "pure math" person would aim to understand regardless - and would be quite glad that they have a longer paved path…
Isn't coping a good and useful mechanism?
Re: Ten advances in mathematics and theoretical computer science
#349In a way the most remarkable thing about this is that it isn't even at the top of the HN homepage. Even if this is a step up from what we've seen before, we're no longer astonished by the idea that AI can make significant advances in mathematics and computer science.
What about AI research itself? Is OpenAI close to automating its human staff out of a job?
It's more like they've already automated the parts of the jobs that the humans most closely thought of as the "their job"
Re: Ten advances in mathematics and theoretical computer science
#350Earlier quoted context omitted.
I find this whole way of looking at things weird. Did maths exist just to entertain and employ mathematicians? Surely maths is, like, useful? Not immediately, not predictably, but in the long run? In which case, whether mathematicians feel bad about it is mostly irrelevant - it's like complaining about the railway because it may put coaching inns out of business.
Absolutely not the same! People need jobs to bring in income. I don't believe those who profit off of this will share it with the world. The power is all concentrated in the few hands that decide whether or not the rest get any semblance of income in the long run. I don't believe UBS until it happens.