Fuck AI

7560 readers

1364 users here now

"We did it, Patrick! We made a technological breakthrough!"

A place for all those who loathe AI to discuss things, post articles, and ridicule the AI hype. Proud supporter of working people. And proud booer of SXSW 2024.

AI, in this case, refers to LLMs, GPT technology, and anything listed as "AI" meant to increase market valuations.

founded 2 years ago

MODERATORS

VerbFlow@lemmy.world

MrMcGasion@lemmy.world

TootSweet@lemmy.world

BigMikeInAustin@lemmy.world

cynar@lemmy.world

drmeanfeel@lemmy.world

pavnilschanda@lemmy.world

CriticalMedicine@lemmy.world

WonderfulWanderer@lemmy.world

Communist@lemmy.ml

eatCasserole@lemmy.world

SpaceNoodle@lemmy.world

NutWrench@lemmy.world

Soup@lemmy.cafe

iAvicenna@lemmy.world

Tinks@lemmy.world

wizblizz@lemmy.world

corus_kt@lemmy.world

TrickDacy@lemmy.world

andrew_bidlaw@sh.itjust.works

MeDuViNoX@sh.itjust.works

33550336@lemmy.world

Nougat@fedia.io

Lost_My_Mind@lemmy.world

Quill7513@slrpnk.net

glowing_hans@sopuli.xyz

e8d79@discuss.tchncs.de

ThefuzzyFurryComrade@pawb.social

213

'People will buy intelligence from us on a meter': ChatGPT's Sam Altman's AI vision worries critics (www.tomsguide.com)

submitted 1 month ago by lechekaflan@lemmy.world to c/fuck_ai@lemmy.world

65 comments fedilink hide all child comments

cross-posted from: https://lemmy.world/post/47387000

Sam Altman says OpenAI wants to sell intelligence like a utility

During a recent appearance at BlackRock in Washington, D.C., OpenAI's Sam Altman, shared his vision for the future of AI. At one point saying, “We see a future where intelligence is a utility, like electricity or water, and people buy it from us on a meter.”

Altman was describing a world where AI becomes a foundational infrastructure, something woven into everyday life so deeply that consumers and businesses simply “plug into” it the same way they rely on electricity, Wi-Fi or running water.

you are viewing a single comment's thread
view the rest of the comments

[–] spectrums_coherence@piefed.social 2 points 1 month ago

Yeah LaTeX is a bit different, think about describing a process in MS Word, v.s. writing a program that performs such process on a computer: LaTeX is more like description aimed for human consumption, where as formal proof is more like a program that computers can rigorously execute.

Proof assistant have only attracted the attension of mathematicians very recently, thanks to the organization surrounding MathLib in Lean, and the promption of Terance Tao.

It also rides the AI train quite a bit, as AI have a tendency to confidently be wrong, having a computer to check its proof can be very useful.