Path: ...!feeds.phibee-telecom.net!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.math
Subject: AI robots from Disney (Re: Holy Shit: AI is cheaper than Humans)
Date: Sun, 1 Sep 2024 23:20:49 +0200
Message-ID: <vb2lrh$2041i$3@solani.org>
References: <v676ba$6fr5$2@solani.org> <vb2jcp$202pl$2@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 1 Sep 2024 21:20:49 -0000 (UTC)
Injection-Info: solani.org;
	logging-data="2101298"; 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.18.2
Cancel-Lock: sha1:Bw1q1SMlqVrQEFUjmaNVhH93XrY=
X-User-ID: eJwNx8kBwCAIBMCWWOWI5QCy/Zdg5je2Hd6hbq5GYwhryk2y9yFqhPfIbBS/jOg7TtNFlYqTC8DYJMr/62o+dcsWPw==
In-Reply-To: <vb2jcp$202pl$2@solani.org>
Bytes: 3264
Lines: 70


Hold your breath, the bartender in your next
vacation destination will be most likely an AI
robot. Lets say in 5 years from now. Right?

Michael Sheen The Robot Bartender
https://www.youtube.com/watch?v=tV4Fxy5IyBM

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.
>