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.logic
Subject: USA is shitting its pants (Re: Holy Shit: AI is cheaper than Humans)
Date: Mon, 16 Sep 2024 00:22:01 +0200
Message-ID: <vc7mm7$9ptr$2@solani.org>
References: <v67685$6fr5$1@solani.org> <vb2jdo$202pl$3@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 15 Sep 2024 22:21:59 -0000 (UTC)
Injection-Info: solani.org;
	logging-data="321467"; 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:c9mWqf/tNScUdKF0rAX6XfH6uXw=
In-Reply-To: <vb2jdo$202pl$3@solani.org>
X-User-ID: eJwFwQkRADAIAzBLdIxncjig/iUsMXV4x3XzazRyaY8ZhaK77GZuPzT0ljwNWGkl9qjuMRY0JiTYnEnBfGJrFcg=
Bytes: 3628
Lines: 80


You know USA has a problem,
when Oracle enters the race:

To source the 131,072 GPU Al "supercluster,"
Larry Ellison, appealed directly to Jensen Huang,
during a dinner joined by Elon Musk at Nobu.
"I would describe the dinner as me and Elon
begging Jensen for GPUs. Please take our money.
We need you to take more of our money. Please!”
https://twitter.com/benitoz/status/1834741314740756621

Meanwhile a contender in Video GenAI
FLUX.1 from Germany, Hurray! With Open Source:

OK. Now I'm Scared... AI Better Than Reality
https://www.youtube.com/watch?v=cvMAVWDD-DU

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