Lugh

joined 1 year ago
MODERATOR OF
 

Courtesy of Reddit user /u/TheBlueRefinery29

Interesting experimental logical AI has promising implications for AI Safety.

Claiming to have created a language that enables developers to create software and AI that can reason over its own future versions.

Original post: https://x.com/TauLogicAI/status/1841813606154793354

Abstract Summarizing their process and the language tech: https://tau.net/Logical-AI-Software-Specification-Reasoning-GSSOTC.pdf

Full paper: https://tau.net/Theories-and-Applications-of-Boolean-Algebras-0.25.pdf

But the full paper is super long and goes over my head, the abstract is much easier to digest.

[–] Lugh 2 points 1 month ago (1 children)

In most countries, people elect the local officials who make zoning decisions. It's not a fundamental barrier.

[–] Lugh 1 points 1 month ago

Altman and Musk seem to both get away with endless BS.

[–] Lugh 3 points 1 month ago (6 children)

They quote a cost of $1,000 per square meter (S100 sq foot). So I arrived at my calculation assuming a size of 100 sq m/1,000 sq feet for an average 'starter home' 2-bedroom dwelling.

The fact that housing crises are occurring in so many Western countries suggests to me that there is something very fundamental that is broken and wrong with our system of supplying housing - one of life's most basic human necessities.

If the system is the problem, then the system can't provide the solution, perhaps only radical new ways of doing things can?

Germans have a system of purchasing property called "Wohnungsgenossenschaften". It is where individuals come together in a not-for-profit cooperative, to build and finance their own apartment buildings and housing complexes. This technology seems a perfect fit for that, maybe we would all be better off in other western countries if we adopted this system more?

[–] Lugh 1 points 1 month ago

Yes, sadly he was quite prescient. I often think we're in a time of transition/decay because of tech like AI & robotics. Sadly perfect conditions for fascism, which the right has so often transmuted into throughout history.

[–] Lugh 9 points 1 month ago (4 children)

Some people may have doubts about these claims, but China leads the world in manufacturing. They've also blasted past all expectations when it comes to developing batteries, renewables and EVs. I wouldn't bet against them.

[–] Lugh 1 points 1 month ago

I know this isn't a very serious story, but it made me smile. One day soon the robotaxis won't be getting confused anymore. Assuming she gets in office, I'd guess President Harris is going to have to deal with the issue of unemployed human taxi drivers during her four years in office.

[–] Lugh 1 points 1 month ago

I wonder will we look back at stuff like this as the very beginnings of recursive self-improvement by artificial intelligence.

[–] Lugh 5 points 1 month ago* (last edited 1 month ago)

Could be, but isn’t, which is where some regulations probably need to come in.

I assume also that the technological side of things is far from perfected, but that will improve over time.

[–] Lugh 20 points 1 month ago* (last edited 1 month ago) (2 children)

There's no reason it couldn't be a closed system, where any fertilizer that doesn't become part of the crop biomass is recycled. In theory it should be more sustainable than existing agriculture and use less fertilizer per kg of crop produced.

[–] Lugh 3 points 1 month ago* (last edited 1 month ago)

This only mentions level 4 auto-driving. Still places like Abu Dhabi or Singapore would be perfect for taxi services using that. Small places where there are plenty of fixed routes that people want to use.

Although we don't know how the future of AI and robotics automation is going to play out, we can foresee that there will be significant milestones. When the population in western countries realize that all driving jobs (taxis, truckers, etc) are gone forever will be one of those.

It is probably true to say that the current US presidential election is the very last one in history that won't be dominated by the issue of reorganizing society as free market human jobs disappear to AI & robotics.

[–] Lugh 1 points 1 month ago

For anybody interested in such things, this guy is one of the best English language news sources on Chinese space developments.

[–] Lugh 5 points 2 months ago* (last edited 2 months ago) (1 children)

Active euthanasia is legal in a few countries for terminally ill patients.

That doesn't seem an accurate description of the situation. Yes, doctors and nurses sometimes 'help people along' in their final hours or even days, that is not the same thing as the euthanasia being described here.

view more: ‹ prev next ›