Path: ...!eternal-september.org!feeder3.eternal-september.org!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: Mild Shock <janburse@fastmail.fm>
Newsgroups: sci.logic
Subject: Safe Superintelligence (SSI): Now they are dancing
Date: Thu, 5 Sep 2024 19:50:00 +0200
Message-ID: <vbcr07$26j0c$1@solani.org>
References: <v67685$6fr5$1@solani.org> <vb2jdo$202pl$3@solani.org>
 <vb6mna$23gm0$1@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 5 Sep 2024 17:49:59 -0000 (UTC)
Injection-Info: solani.org;
	logging-data="2313228"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
 Firefox/91.0 SeaMonkey/2.53.19
Cancel-Lock: sha1:L4n1GuV7UpAhiWBsRZtLXWphddU=
X-User-ID: eJwFwYkBADAEBLCVivN0HIr9R2iiYmTPYWrQ1V1DBCP4SL7CQ9YKaeIk56RvX8Q0XbuhHC5dc7Kpx2uw+FIlFfM=
In-Reply-To: <vb6mna$23gm0$1@solani.org>
Bytes: 4881
Lines: 106

Hi,

SAN FRANCISCO/NEW YORK, Sept 4 - Safe
Superintelligence (SSI), newly co-founded by OpenAI's
former chief scientist Ilya Sutskever, has raised $1
billion in cash to help develop safe artificial
intelligence systems that far surpass human
capabilities, company executives told Reuters.
https://www.reuters.com/technology/artificial-intelligence/openai-co-founder-sutskevers-new-safety-focused-ai-startup-ssi-raises-1-billion-2024-09-04/

Now they are dancing
https://twitter.com/AIForHumansShow/status/1831465601782706352

Bye

Mild Shock schrieb:
> 
> 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 isomoprhism
>>> for symple 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.
>>
> 

https://www.reuters.com/technology/artificial-intelligence/openai-co-founder-sutskevers-new-safety-focused-ai-startup-ssi-raises-1-billion-2024-09-04/