Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Newsgroups | sci.math |
| Subject | I can't stand Mira Murati's Eyewash (Re: Holy Shit: AI is cheaper than Humans) |
| Date | 2024-09-03 12:03 +0200 |
| Message-ID | <vb6msl$23gm0$3@solani.org> (permalink) |
| References | <v676ba$6fr5$2@solani.org> <vb2jcp$202pl$2@solani.org> |
What a bullshit:
Another concern is the potential for AI to displace
jobs and exacerbate economic inequality. A recent
study by McKinsey estimates that up to 800 million
jobs could be automated by 2030. While Murati believes
that AI will ultimately create more jobs than it
displaces, she acknowledges the need for policies to
support workers through the transition, such as job
retraining programs and strengthened social safety nets.
https://expertbeacon.com/mira-murati-shaping-the-future-of-ai-ethics-and-innovation-at-openai/
Lets say there is a wine valley. All workers
are replaced by AI robots. Where do they go.
In some cultures you don't find people over
30 that are long life learners. What should they
learn, on another valley where they harvest
oranges, they also replaced everybody by AI
robots. And so on the next valley, and the
next valley. We need NGO's and a Greta Thunberg
for AI ethics, not a nice face from OpenAI.
Mild Shock schrieb:
>
> The carbon emissions of writing and illustrating
> are lower for AI than for humans
> https://www.nature.com/articles/s41598-024-54271-x
>
> Perplexity CEO Aravind Srinivas says that the cost per
> query in AI models has decreased by 100x in the past
> 2 years and quality will improve as hallucinations
> decrease 10x per year
> https://twitter.com/tsarnick/status/1830045611036721254
>
> Disclaimer: Can't verify the later claim... need to find a paper.
>
> Mild Shock schrieb:
>> Could be a wake-up call this many participants
>> already in the commitee, that the whole logic
>> world was asleep for many years:
>>
>> Non-Classical Logics. Theory and Applications XI,
>> 5-8 September 2024, Lodz (Poland)
>> https://easychair.org/cfp/NCL24
>>
>> Why is Minimal Logic at the core of many things?
>> Because it is the logic of Curry-Howard isomorphism
>> for simple types:
>>
>> ----------------
>> Γ ∪ { A } ⊢ A
>>
>> Γ ∪ { A } ⊢ B
>> ----------------
>> Γ ⊢ A → B
>>
>> Γ ⊢ A → B Δ ⊢ A
>> ----------------------------
>> Γ ∪ Δ ⊢ B
>>
>> And funny things can happen, especially when people
>> hallucinate duality or think symmetry is given, for
>> example in newer inventions such as λμ-calculus,
>>
>> but then omg ~~p => p is nevertheless not provable,
>> because they forgot an inference rule. LoL
>>
>> Recommended reading so far:
>>
>> Propositional Logics Related to Heyting’s and Johansson’s
>> February 2008 - Krister Segerberg
>> https://www.researchgate.net/publication/228036664
>>
>> The Logic of Church and Curry
>> Jonathan P. Seldin - 2009
>> https://www.sciencedirect.com/handbook/handbook-of-the-history-of-logic/vol/5/suppl/C
>>
>>
>> Meanwhile I am going back to my tinkering with my
>> Prolog system, which even provides a more primitive
>> logic than minimal logic, pure Prolog is minimal
>>
>> logic without embedded implication.
>
Back to sci.math | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Minimal Logics in the 2020's: A Meteoric Rise Mild Shock <janburse@fastmail.fm> - 2024-07-05 00:05 +0200
Re: Minimal Logics in the 2020's: A Meteoric Rise sobriquet <dohduhdah@yahoo.com> - 2024-07-05 03:50 +0200
Re: Minimal Logics in the 2020's: A Meteoric Rise Mild Shock <janburse@fastmail.fm> - 2024-07-05 04:06 +0200
Re: Minimal Logics in the 2020's: A Meteoric Rise sobriquet <dohduhdah@yahoo.com> - 2024-07-05 05:24 +0200
Re: Minimal Logics in the 2020's: A Meteoric Rise Mild Shock <janburse@fastmail.fm> - 2024-07-05 06:47 +0200
Re: Minimal Logics in the 2020's: A Meteoric Rise Mild Shock <janburse@fastmail.fm> - 2024-07-05 06:48 +0200
The curse of Negri & Plato (Was: Minimal Logics in the 2020's: A Meteoric Rise) Mild Shock <janburse@fastmail.fm> - 2024-07-05 04:07 +0200
Re: The curse of Negri & Plato (Was: Minimal Logics in the 2020's: A Meteoric Rise) Mild Shock <janburse@fastmail.fm> - 2024-07-05 04:08 +0200
Euklid: Am I a joke to you? (Re: The curse of Negri & Plato) Mild Shock <janburse@fastmail.fm> - 2024-07-13 08:18 +0200
Re: Minimal Logics in the 2020's: A Meteoric Rise Mild Shock <janburse@fastmail.fm> - 2024-07-05 06:49 +0200
Re: Minimal Logics in the 2020's: A Meteoric Rise Mild Shock <janburse@fastmail.fm> - 2024-07-07 23:10 +0200
Re: Minimal Logics in the 2020's: A Meteoric Rise Mild Shock <janburse@fastmail.fm> - 2024-07-07 23:18 +0200
French Philosophy in 2024 (Re: Minimal Logics in the 2020's: A Meteoric Rise) Mild Shock <janburse@fastmail.fm> - 2024-07-12 11:30 +0200
Re: French Philosophy in 2024 (Re: Minimal Logics in the 2020's: A Meteoric Rise) Mild Shock <janburse@fastmail.fm> - 2024-07-12 11:38 +0200
Corona isn't over 2024 (Was: French Philosophy in 2024) Mild Shock <janburse@fastmail.fm> - 2024-07-12 12:23 +0200
Re: Corona isn't over 2024 (Was: French Philosophy in 2024) Mild Shock <janburse@fastmail.fm> - 2024-07-12 12:36 +0200
The error in Jan von Platos presentation (Re: Minimal Logics in the 2020's: A Meteoric Rise) Mild Shock <janburse@fastmail.fm> - 2024-07-13 10:33 +0200
Re: The error in Jan von Platos presentation (Re: Minimal Logics in the 2020's: A Meteoric Rise) Mild Shock <janburse@fastmail.fm> - 2024-07-13 10:56 +0200
Re: The error in Jan von Platos presentation (Re: Minimal Logics in the 2020's: A Meteoric Rise) Mild Shock <janburse@fastmail.fm> - 2024-07-14 00:04 +0200
Re: The error in Jan von Platos presentation (Re: Minimal Logics in the 2020's: A Meteoric Rise) Mild Shock <janburse@fastmail.fm> - 2024-07-14 00:14 +0200
Distinction between Computation & Derivation (Re: Minimal Logics in the 2020's: A Meteoric Rise) Mild Shock <janburse@fastmail.fm> - 2024-07-22 12:58 +0200
Prolegomena by Rappaport (Re: Minimal Logics in the 2020's: A Meteoric Rise) Mild Shock <janburse@fastmail.fm> - 2024-07-31 22:16 +0200
2nd Cognitive Turn ~~> no Bayesian Brain (Re: Prolegomena by Rappaport) Mild Shock <janburse@fastmail.fm> - 2024-08-03 22:51 +0200
Ok I made a joke, sorry (Re: 2nd Cognitive Turn ~~> no Bayesian Brain) Mild Shock <janburse@fastmail.fm> - 2024-08-03 23:48 +0200
Re: Ok I made a joke, sorry (Re: 2nd Cognitive Turn ~~> no Bayesian Brain) Mild Shock <janburse@fastmail.fm> - 2024-08-04 00:00 +0200
bullshit bullshit bullshit (Was: Ok I made a joke, sorry) Mild Shock <janburse@fastmail.fm> - 2024-08-04 00:13 +0200
The two rules (Was: Minimal Logics in the 2020's: A Meteoric Rise) Mild Shock <janburse@fastmail.fm> - 2024-08-04 00:58 +0200
Re: The two rules (Was: Minimal Logics in the 2020's: A Meteoric Rise) Moebius <invalid@example.invalid> - 2024-08-04 01:45 +0200
The anchoring problem in a real world philosopher (Re: LLM and Prolog, a Marriage in Heaven?) Mild Shock <janburse@fastmail.fm> - 2024-08-08 17:11 +0200
Long life learning also for real world philosophers? (Re: The anchoring problem in a real world philosopher) Mild Shock <janburse@fastmail.fm> - 2024-08-08 17:19 +0200
Prolog for the pre frontal cortex (PFC) (Was: LLM and Prolog, a Marriage in Heaven?) Mild Shock <janburse@fastmail.fm> - 2024-08-28 20:46 +0200
Holy Shit: AI is cheaper than Humans (Re: Minimal Logics in the 2020's: A Meteoric Rise) Mild Shock <janburse@fastmail.fm> - 2024-09-01 22:38 +0200
AI robots from Disney (Re: Holy Shit: AI is cheaper than Humans) Mild Shock <janburse@fastmail.fm> - 2024-09-01 23:20 +0200
Re: Holy Shit: AI is cheaper than Humans (Re: Minimal Logics in the 2020's: A Meteoric Rise) Jim Burns <james.g.burns@att.net> - 2024-09-02 09:32 -0400
Re: Holy Shit: AI is cheaper than Humans (Re: Minimal Logics in the 2020's: A Meteoric Rise) Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-09-02 09:30 -0700
There is only a nature article about "low carbon emission" (Was: Holy Shit: AI is cheaper than Humans) Mild Shock <janburse@fastmail.fm> - 2024-09-02 19:02 +0200
I can't stand Mira Murati's Eyewash (Re: Holy Shit: AI is cheaper than Humans) Mild Shock <janburse@fastmail.fm> - 2024-09-03 12:03 +0200
After blue, green why not start yellow (Re: I can't stand Mira Murati's Eyewash) Mild Shock <janburse@fastmail.fm> - 2024-09-03 17:58 +0200
miramurati bye bye (Re: After blue, green why not start yellow) Mild Shock <janburse@fastmail.fm> - 2024-09-25 22:10 +0200
Safe Superintelligence (SSI): Now they are dancing Mild Shock <janburse@fastmail.fm> - 2024-09-05 19:52 +0200
Re: Safe Superintelligence (SSI): Now they are dancing Mild Shock <janburse@fastmail.fm> - 2024-09-05 23:52 +0200
Salem Aleikum: Maxwella's Equations (Re: Safe Superintelligence (SSI): Now they are dancing) Mild Shock <janburse@fastmail.fm> - 2024-09-09 13:20 +0200
non judicium, sed latrocinium (Re: Salem Aleikum: Maxwella's Equations) Mild Shock <janburse@fastmail.fm> - 2024-09-10 08:57 +0200
Internet was made for cats (Was: Safe Superintelligence (SSI): Now they are dancing) Mild Shock <janburse@fastmail.fm> - 2024-09-11 20:11 +0200
I was there, 3000 years ago (Re: Internet was made for cats) Mild Shock <janburse@fastmail.fm> - 2024-09-13 13:00 +0200
Even Haitians are now voting for Trump (Re: I was there, 3000 years ago (Re: Internet was made for cats)) Mild Shock <janburse@fastmail.fm> - 2024-09-13 13:03 +0200
supply chain attack (Re: Internet was made for cats) Mild Shock <janburse@fastmail.fm> - 2024-09-17 22:19 +0200
Polyfill Supply Chain Attack (Re: supply chain attack) Mild Shock <janburse@fastmail.fm> - 2024-10-11 09:13 +0200
USA is shitting its pants (Re: Holy Shit: AI is cheaper than Humans) Mild Shock <janburse@fastmail.fm> - 2024-09-16 00:23 +0200
scryer prolog is dead, BILAI instead? Re: USA is shitting its pants (Re: Holy Shit: AI is cheaper than Humans) Mild Shock <janburse@fastmail.fm> - 2024-09-18 15:44 +0200
Microsoft is plagiarizing my Invention [LLMs under the hood] Mild Shock <janburse@fastmail.fm> - 2024-10-08 16:06 +0200
Geoffrey Hinton / Nobelpreis für Physik [Re: Microsoft is plagiarizing my Invention [LLMs under the hood]] Mild Shock <janburse@fastmail.fm> - 2024-10-08 16:06 +0200
"Emotional AI" and "Spiritual AI" (Re: Minimal Logics in the 2020's: A Meteoric Rise) Mild Shock <janburse@fastmail.fm> - 2024-10-03 12:29 +0200
Oh shit, too late! (Re: "Emotional AI" and "Spiritual AI" (Re: Minimal Logics in the 2020's: A Meteoric Rise)) Mild Shock <janburse@fastmail.fm> - 2024-10-03 12:41 +0200
csiph-web