Live data from Hacker News

Ten advances in mathematics and theoretical computer science

openai.com

401–410 of 1000 posts

Re: Ten advances in mathematics and theoretical computer science

#401

Earlier quoted context omitted.

There are some genuinely insane takes in this thread on both sides but this takes the cake.

That's because its satire, the tell was "not excluding targeted military strikes"

Gonna say the edit they made removes the satire possibility.

Re: Ten advances in mathematics and theoretical computer science

#402
post #388
post #381

Earlier quoted context omitted.

[flagged]

Your 'serious' proposal is unlimited global military bombing campaign on civilian infrastructure by the United States (which is currently losing a war using the same strategy) to 'solve safety' preemptively against a 20% number you just made up? And you accuse the 'other side' of 'suicidal apathy'?? You should put down the AI and do some self-reflection on how you came to hold these views.

If the thesis that "If anybody builds it, everyone dies" is true, or has any chance of becoming true, then it is the logical thing to do. As Geoffrey Hinton said, "If you want to know what it's like not to be the apex intelligence, ask a chicken."

Re: Ten advances in mathematics and theoretical computer science

#403
post #381

Earlier quoted context omitted.

[flagged]

> We are now at the point where RSI is feasible What can be asserted without evidence can also be dismissed without evidence. - Hitchen's Razor

The evidence is abundant and nearly impossible to ignore without increasingly focused effort.

Re: Ten advances in mathematics and theoretical computer science

#404
post #381

Earlier quoted context omitted.

[flagged]

There are some genuinely insane takes in this thread on both sides but this takes the cake.

A few years ago the majority of Hacker News dismissed LLMs as not much more than stochastic parrots who were decades away from doing any serious work, autonomously escaping containment and hacking Hugging Face, or outperforming most professional mathematicians at proving theorems. These things were labeled "insane" and "science fiction" despite the rapid progress we had already seen.

Now you are again postulating that there would be no more extreme progress in the near future. That's actually more "insane".

Re: Ten advances in mathematics and theoretical computer science

#405

Pretty cool. The impact of AI is getting undeniable, there aren’t many positions left to move the goalposts to at this stage, next they’ll have to be outside the stadium entirely. The sooner people can be broken out of their denial about all this the better, and we can start actually taking it seriously.

[deleted]

Re: Ten advances in mathematics and theoretical computer science

#406
post #374

Pretty cool. The impact of AI is getting undeniable, there aren’t many positions left to move the goalposts to at this stage, next they’ll have to be outside the stadium entirely. The sooner people can be broken out of their denial about all this the better, and we can start actually taking it seriously.

And what does taking it seriously entail?

In the near term handling the transition. Jobs will be lost, careers ended, people won’t be able to reskill quickly enough. At the same time AI is an enormous opportunity to uplift living standards, but nobody has the logistics of this figured out.

We need to figure out how to restructure the global economy. How does UBI work internationally, if the AI companies are taking revenue in the US? What’s the tax base for it? What does that say about international trade and protectionism? Do countries end up splitting into different trading blocks based on their level of access and legality of AI (I assume some will ban it outright)?.

How does intellectual property work in an AI generated future? What about healthcare advances, who gets to own those?

What about meaning, what about purpose? How do we replace the work ethic that tells us we are our jobs and idleness is immoral? How do you replace “What do you do?” As one of the first questions you ask a new person?

That sort of thing.

Re: Ten advances in mathematics and theoretical computer science

#407

one of the early premises of how ai takeoff would go was that a system that could solve open problems in advanced mathematics would also discover novel advances in math and computer science that directly unlock drastically better software performance. we are seeing frontier level math breakthroughs (ie performance that would put it in the top 100 or 1000 mathematicians in the world if it were a human, meaning top .00…

This will depend on the problem; I expect big algorithmic performance improvements in AI since the algorithms are still new, inefficent, and constantly being improved. But maybe not for sorting, fast fourier transforms, or other well-studied basic algorithms?

Re: Ten advances in mathematics and theoretical computer science

#408
post #96

Replace philosophers for mathematicians and Douglas Adams was spot on again. Whilst current models can't 'intuit' and come up with conjectures, they can certainly disprove some of them very quickly through the kind of grind that humans can't do. I suppose there really are some mathematicians out there today, whose last few years of study, have just been up-ended by this. -- "Yes we are," insisted Majikthise. "We are…

> Whilst current models can't 'intuit' and come up with conjectures

People keep saying this. Why?

Surely the AI can complete the prompt “Generate new research questions based on these observations”?

When I read the reasoning traces of coding models they are constantly asking themselves questions and attempting to answer them.

Re: Ten advances in mathematics and theoretical computer science

#409
post #96

Replace philosophers for mathematicians and Douglas Adams was spot on again. Whilst current models can't 'intuit' and come up with conjectures, they can certainly disprove some of them very quickly through the kind of grind that humans can't do. I suppose there really are some mathematicians out there today, whose last few years of study, have just been up-ended by this. -- "Yes we are," insisted Majikthise. "We are…

>Whilst current models can't 'intuit

That's how they are finding these solutions though, unless we are just going to label intuition as something only humans can do. Like a submarine being unable to swim or whatever that example is.

Re: Ten advances in mathematics and theoretical computer science

#410

Pretty cool. The impact of AI is getting undeniable, there aren’t many positions left to move the goalposts to at this stage, next they’ll have to be outside the stadium entirely. The sooner people can be broken out of their denial about all this the better, and we can start actually taking it seriously.

Sorry to hear you've been impacted by this AI math.

I heard that Gary Kasparov was impacted by AI chess, but at least he still seems to have a job, so don't give up.

Post reply on HN