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