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