Login

u/socoolandawesome

▲ 554 r/ControlProblem+1 crossposts

OpenAI general purpose model had a breakthrough on famous 80 year old Erdos problem. “This marks the first time AI has autonomously solved a prominent open problem central to a field of mathematics”

Content of associated tweets:

“Today, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946.

For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids.

An OpenAI model has now disproved that belief, discovering an entirely new family of constructions that performs better.

This marks the first time AI has autonomously solved a prominent open problem central to a field of mathematics.”

“The proof came from a general-purpose reasoning model, not a system built specifically to solve math problems or this problem in particular, and represents an important milestone for the math and AI communities.”

“This result points to something larger: AI systems are becoming capable of holding together long, difficult chains of reasoning, connecting ideas across distant fields, and surfacing paths researchers may not have explored.

We believe those same abilities will soon accelerate work in biology, physics, engineering, and medicine.

That future still depends on human judgment. Expertise becomes more valuable, not less. AI can help search, suggest, and verify. People choose the problems that matter, interpret the results, and decide what questions to pursue next.”

Link to tweet:

https://x.com/OpenAI/status/2057176204541866087

Link to blog:

https://openai.com/index/model-disproves-discrete-geometry-conjecture/

Link to paper:

https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-proof.pdf

Link to abridged version of model’s chain of thought:

https://cdn.openai.com/pdf/1625eff6-5ac1-40d8-b1db-5d5cf925de8b/unit-distance-cot.pdf

Link to companion remarks:

https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-remarks.pdf

u/socoolandawesome — 1 day ago
▲ 552 r/singularity

Demis Hassabis at Google I/O: "Artificial General Intelligence is just a few years away"

Demis’ timeline on AGI has been shrinking and shrinking lately. I believe he would consistently say 5-10 years away the past year or 2. Then he switched to saying only 5 years in an interview this year I believe, and now he just said “just a few years”.

He also had another cool quote at the end: “When we look back at this time I think we will realize that we were standing in the foothills of the singularity”

Demis has been notoriously conservative, so when he says this, he must be pretty confident it’s coming soon.

reddit.com
u/socoolandawesome — 3 days ago
▲ 2.2k r/UPSers+2 crossposts

Boston Dynamics shows off Atlas robot carrying a fridge

u/Ok_Buyer310 — 4 days ago
▲ 449 r/singularity

Is Dario AGI-pilled/ASI-pilled or not?

As the article notes, this is a shift in his rhetoric where he’s now talking about Jevon’s paradox and it’s possible there’d be more jobs because of AI.

If he really believes in AGI and ASI being on the horizon, then there’s no way he can believe that. The article suggests either he genuinely has changed his views on jobs or maybe it is because he doesn’t want to get more onto trump’s bad sign with potential regulation looming:

“Either he has genuinely updated his view based on new evidence, or the social and political cost of the bloodbath framing — particularly as Anthropic navigates a Pentagon lawsuit and a fraught regulatory environment — has made it more useful to suddenly sound a bit more optimistic.”

Again more jobs just seems completely incompatible with his beliefs about the AI he describes in Machines of Loving Grace (Nobel prize winning, can do anything on a computer, etc.)

So why the change?

u/socoolandawesome — 16 days ago