Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.prolog > #14952

Crashing ivory towers: Computer Algebra (Re: From Framing to Mirroring [AI Boom])

Show all headers | View raw

Hi,

The novel enviroment of the AI Boom has even
reached some ivory towers of symbolic
rational reasoning, such as computer algebra:

"The SCML publishing forum is dedicated to
all research that strives to combine Symbolic
Computation (SC) and Machine Learning (ML)
as two major approaches to "Artificial Intelligence",
in particular the application of ML to SC, the
application of SC to ML, and the hybrid combination of
SC and ML to solving problems. We consider
submissions that explore the interaction between
the two fields - not standalone works on either SC or ML."
https://scml.risc.jku.at

My speculation, it will also cause a futhrer iteration of
Generative AI in Architecture. Architecture saw already
booms of Generative AI in the past. But we might find novel
AI boom techniques more ubiquitious in tools like for example:

Introduction to Family Editor
This video introduces the Revit 2015 Family
Editor by creating a simple table.
https://www.youtube.com/watch?v=yLnnosXurxk

Disclaimer: Didn't check what is already around

Not only Architecture, also most Engineering will be
affected. We already see in certain domains faster
time to market of fancy product variants. No wonder
Elon Musk presented DGX Sparc in a SpaceX hangar.

Bye

Mild Shock schrieb:
> Hi,
> 
> The English had Aristoteles (*), the French had
> Descartes, and the Dutch have their national
> Flag. The culmination of the Enlighment was
> 
> the distinction between analytic and synthetic
> truth. But this doesn't help to understand
> Generative AI, which produces a mish mash
> 
> of the factual and the plausible. But the logical
> and non-logical distinction lead to abominations
> like ascribing to Wittgenstein the maxim,
> 
> "All logical differences are big differences", with
> the even worse conjecture "All nonlogical differences
> are small differences". But an early conceptual
> 
> prototype of ChatGPT was given by:
> 
> "Mirror (**) Mirror on the Wall who is the Fairest of them All?"
> - Snow White, Brothers Grim
> 
> So its all about retrieving mirror texts and images and
> transforming them, the retrieval having good old metrics like
> recall and precision, and the transformation having also metrics,
> 
> metrics all relative to a group preferences assumption of
> the end-user, so that the end-user can more cost effictively
> and more market penetratingly act, in a totally
> 
> new AI Boom infected environment.
> 
> Bye
> 
> (*)
> we have powers and faculties fitted to deal with
> them, and are **happy or miserable** in proportion
> as we know how to **frame** a right judgment of things
> The elements of logic. In four books
> by Duncan, William, 1717-1760
> https://archive.org/details/elementsoflogic00dunc/page/n5/mode/2up
> 
> (**)
> 
> An earlier version of "Mirrors" (Chapter 7) was written for a
> volume in honor of Thomas A. Sebeok (He was among the
> founders of biosemiotics, and coined the term "zoosemiotics"
> in 1963 to describe the development of signals and signs by
> non-human animal species) for his sixty-fifth birthday.
> Umberto Eco, ''Semiotics and the Philosophy of Language'',
> Bloomington: Indiana U.P., 1984
> https://monoskop.org/images/b/b3/Eco_Umberto_Semiotics_and_the_Philosophy_of_Language_1986.pdf 
> 

Back to comp.lang.prolog | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

From Framing to Mirroring [AI Boom] Mild Shock <janburse@fastmail.fm> - 2025-10-31 11:15 +0100
  Crashing ivory towers: Computer Algebra (Re: From Framing to Mirroring [AI Boom]) Mild Shock <janburse@fastmail.fm> - 2025-10-31 11:48 +0100
    Using ChatGPT to Develop Revit Families (Was: Crashing ivory towers: Computer Algebra) Mild Shock <janburse@fastmail.fm> - 2025-10-31 14:32 +0100

csiph-web