From Newsgroup: sci.physics.relativity
Hi,
I just wrote:
Basically subscribing to the open source dream
of Linux, that many eyes can flatten out bugs. But
this is contra-productive to use strong tools and
then wait for weak humans!
If the agent AI used to produce the AI slop, would
be named. One could fork the repo. Do some change
using the same AI. And do a pull request. Maybe I
am mistaken, but on a first sight, it is not so evident,
whether a) there is attempt to hide that it is AI slop,
or b) whether there is some agent card included in
the project, so that one could continue where
others left off. After all GitHub is based
on the idea of forking and sharing.
Bye
P.S.: I complete made that up that an agent card
would help. But I derived it from the A2A project.
So this is the speculative part of my post. Maybe
there are other solutions, to still have humans in
the loop, in a more meaningful way, in that the tools
are also shared. In this case adressing the agentic
AI that made the AI slop.
Food for thought: Does your Agent have a Card?
https://discourse.prolog-lang.org/t/food-for-thought-does-your-agent-have-a-card/206
While the A2A project casts the agent card as a solution
to interoperability. Maybe its also key to group
cooperation, keeping the human in the loop and giving
them strong tools, and not use AI slop to
build silly weak fortresses.
Mild Shock schrieb:
Hi,
The post is only proof of the Terence Tao
ingestion problem hypothesis. That we are not
anymore able to process content, and that
even trust is destroyed.
The AI slop presented here as a rCLsaferCY prolog
agent toolkit, halucinates things like. And it
does so consistently across many pages, still it
wants to provide rCLsafetyrCY:
### Bakage (`bakage.toml`)
The package manifest format used by Scryer Prolog to
declare project metadata, exported modules, and dependencies. https://github.com/dougransom/prolog-agent-toolkit
While I donrCOt find any evidence for such a
manifest file. Its rather:
A package is a directory with a scryer-manifest.pl
following this schema: etc..
https://github.com/bakaq/bakage
That the post has even likes from field experts
like Moura from Logtalk and Torbjorn from Web
Prolog, shows that a) you can post any nonsense
on GitHub people
will clap, and b) this forum is useless only
spreading AI slop. So while everybody is talking
about provenance and justification, as a desiderata,
the prolog agent toolkit is
just an example of unhinged free wheeling analogical
reasoning, probably taking phrases such as cargo.toml
as a blue print and projecting them into phrases
such aa bakage.toml.
I still think a tool breaks when its weakest
chain link break, even if people take this as a
joke of mine. But well you are all free to give it
a try, like running AI homunculi as a new sport.
Bye
(*)
Terence Tao
I have recently made the point that out of three
major components of the mathematical problem
solving process - proof generation, proof
verification, and proof digestion https://mathstodon.xyz/@tao/116551624228986501
P.S.: Such repos are useless if there is no way
to cockpit the original agentic AI used. You would
need to go through the route of tickets and GitHub
issues to fix problems.
Basically subscribing to the open source dream
of Linux, that many eyes can flatten out bugs. But
this is contra-productive to use strong tools and
then wait for weak humans!
Mild Shock schrieb:
Hi,
The idea that mathematics is based on a universal bowel
movement system, that needs to learn and use "right and
natural" math, is already disproved by our Indian vegetarian
visitors here, that can even not digest Swiss Cheese. So
lets declare repeating a canon a dead skill in the age of
LLMs, and dig deeper what intelligence could mean.
There is a thesis and ongoing product development:
On the Measure of Intelligence Fran|oois Cholle author
of the notable book "Deep Learning with Python"
https://arxiv.org/pdf/1911.01547
Ndea is building frontier AI systems that blend intuitive pattern
recognition and formal reasoning into a unified architecture.
https://ndea.com/about
What about putting "right and natural" aside. And train
mathematical intuition? Maybe the pressure of the moon
race and cold war is lacking? And P(doom) is even
the wrong wakeup call, but a genius pressure cooker!
LoL
Bye
Mild Shock schrieb:
Hi,
Even Philip Wadler sounds like he has seen the
first Apocalyptic horse rider. But what do these
hardcore formalists think, that we go with a
2300-year old Aristotelian inferencing like Modus
Barabra (*) into the next decade of 2030?
All humans are mortal
All Greeks are humans
--------------------------------
Therefore all Greeks are mortal
Or as the formalists like to write it, but this
is already a "fucked up" chain rule:
reCx (M(x) raA S(x))
reCx (G(x) raA M(x))
roCroCroCroCroCroCroCroCroCroCroCroCroCroCroCroCroC
re| reCx (G(x) raA S(x))
Its just various camps fighting world domination:
Everybody Wants To Rule The World
https://www.youtube.com/watch?v=uqItaKDc6oI
And the winner in the P(doom) bottom race is:
CEO Jensen Huang: Zero Probability P(doom) in 2030
https://www.youtube.com/watch?v=XlY7DI5v4ZU
Bye
(*)
History of formal logic - III. Logic of Terms
Bochenski, Joseph M. - 1961
https://archive.org/details/historyofformall00boch/page/210/mode/2up
Mild Shock schrieb:
Hi,
Woa! The public now marveling at the cascade
LLM, LRM and now Swarms. And little software
agents posting PERMADEATH.
How it started:
The co-evolution of AI and systems with Lidong Zhou
https://www.youtube.com/watch?v=FVuJuGwkSu0
How its going:
This Is the AI Agent Story That Scared Me
https://www.youtube.com/watch?v=2aw3MF8pY3w
They are all clueless that Strong AI, requires
to go from in vitro , to in vivo, usually called
situated AI. Applies also to swarms:
"Being situated is generally considered to be part
of being embodied, but it is useful to consider
each perspective individually. The situated
perspective emphasizes that intelligent behavior
derives from the environment and the agent's
interactions with it. The nature of these
interactions are defined by an agent's embodiment."
https://en.wikipedia.org/wiki/Situated_approach_(artificial_intelligence) >>>>
And emergence of private languages is nothing new.
I am pretty sure the interested reader will find
some 30 year old papers of in vitro simulations,
of software agents developing pebbel languages.
Have Fun!
Bye
--- Synchronet 3.22a-Linux NewsLink 1.2