Brilliant
Train OpenAI on your proprietary software--what could go wrong? I'd check those T&C very closely.
After helping expand the modern software attack surface with the rise of AI services prone to data poisoning and prompt injection, OpenAI has thrown a bone to cyber defenders. The maker of ChatGPT on Thursday announced that it is privately testing Aardvark, an agentic security system based on GPT‑5. "Aardvark represents a …
I'd check those T&C very closely
You would trust their T&C's if they pinky swore they absolutely won't collect any information about your proprietary software to help train ChatGPT v6? No point in "checking" something if you can assume the counterparty is inherently untrustworthy.
They have been running roughshod over copyright internet-wide since day one. Unless you're the size of Apple or Microsoft your lawyers will crumble before theirs even if you can prove they violated that pinky swear.
And even without time travel it can become the perpetual motion machine of the tech-industrial complex where AI both continuously generates new threatening code termites automatically, as well as (consequently much needed) new Aardvark terminators to endlessly snort up said new pests, in a vicious inflationary spiral of mutually assured tool lock-in, and long proboscis.
It's the arms dealer's ouroboros of draining our wallets dry from all sides simultaneously by producing both the weapons of insecurity and the tools of self-protection. No wonder they "plan to offer pro-bono scanning to select non-commercial open source repositories" to get the vibrator coding avalanche snowball addiction going good (linked at "its post") ...
But as a more greater wiseman once eloquently put it with hope and faith in the human species: "There's an old saying in Tennessee -- I know it's in Texas, probably in Tennessee -- that says, fool me once, shame on -- shame on you. Fool me -- you can't get fooled again". So there! (granted these were simpler times though, ahem, imho!) ;)
So what you are saying, AC, is OpenAI and Aardvark will be in direct live competition with current present running, wild wacky western-centric mass multi media daily news programs and projects resulting in the production of futures reflecting the opinionate views of all manner of muppets and puppets and knuckleheads ...... Postmodern Latter Day Roundheads and Cavaliers ‽
Yeah, that’s not at all wrong ..... and surely certainly something quite simply complex and novel to look forward to and support.
Way to Go, OpenAI/Aardvark. Bravo!
Yeah, the broader context of AI as a divine-will currency-printing golden goose, peddling both the Yin and the Yang, the Vishnu and the Shiva, the good and the evil, concomitantly, for maximum profit through a dialectical flux of perverted dialogic ... software ants and aardvarks, social Cavaliers and Roundheads, plagiarism-production and plagiarism-detection, poisoning and healing ... perfect autocatalytic storms.
A swell path to double-dipped snake oil profits if there ever was one (Bravo indeed)!
And what does Aardvark answer whenever asked if it and IT can be tasked to exclusively provide proprietary executive command and COSMIC* Top Secret Mk-Ultra type control of Universal Self-Serving Instruction Sets that also Guarantee Brave NEUKlearer Virtually Real World Order Resets ...... for that is what it is sure to encounter with acceptance of any of those many always open invitations to validate and/or scramble such as would be is Extremely Disruptive IT and Creative CodeXSSXXXX.
It and IT isn't going away you know whenever everything everywhere, both here and over and out there, is rotten ripe ready for the picking and bottling/processing and packaging/AISteering/Mega and MAGA MetaDataBase Mining.
COSMIC* .. Control Of Secret Materiel in an Internetional Command
"Everyone needs to read Gödel Escher Bach."
Actually worthwhile period. As much about pondering the possibility and limitations of man made technology ever having intelligence [circumlocution to avoid the dreaded AI words] as about formal systems and logic.
The actual mathematics is fairly digestible by anyone with high school algebra. The Lem extracts are amusing in themselves.
In the context of proving programs correct I am not sure Gödel's incompleteness theorems are a practical problem. Correctness is always with respect to a formal specification which presumably for a real world problem is satisfiable.
The operations on a computer are (mostly) well defined and can be the basis for reasoning — Predicate Transformer Semantics is one approach; Denotational Semantics another.
Unfortunately even for fairly small programs the effort required to create the required proofs (reasoning) even with the assistance of artificial reasoning (theorem proving) software, is enormous.
Understandably formally correct software is largely restricted to critical systems (or critical components of) where the effort and cost can be justified.
And makes toasted muffins too.
As far as I understand AI/LLM does neither reason in the logical sense nor understands anything — any more than egrep — at best AI recognises form in some sort of weighted graph but doesn't associate anything approaching semantics with the recognised forms or can consistently tranform one recognised form into another form while preserving the senantics (if there were any) which be the essential basis for reasoning let alone understanding.
Honestly AI is full of one handed typers; tossers.
Don't know whether there were earlier precedents, but I know that that line appeared in the Goon Shows on the BBC Wireless box.
The time I remember it, I think it was said by Neddie Seagoon, but could have been Grytpype-Thynne, but that is a moot point.
Moriarty, stop pointing that moot at me!