the openai one does not require signin.
it’s not AI. it’s a kind of hidden watermark or steganography called SynthID
see also: https://en.wikipedia.org/wiki/AI_watermarking, although this one is about text watermarking.
0.000% of Communism has been built. Evil child-murdering billionaires still rule the world with a shit-eating grin. All they has managed to do is make themself sad.
fun facts about myself: i am always correct and never wrong. if you disagree with me, you are wrong and you should FEEL BAD.
- 0 Posts
- 19 Comments
Joined 3 years ago
Cake day: February 27th, 2024
You are not logged in. If you use a Fediverse account that is able to follow users, you can follow this user.
see it for yourself: https://synthid.com/ https://openai.com/research/verify/
21·11 hours agopeople of ancient Greek found Socrates so annoying they sentenced him to death by poison. so… thanks, i guess?
anyone can quote a dictionary without comprehension.
what’s “perceive”?
you are just replacing one underspecified concept with another. what’s “comprehension”?
nothing?
he’s going to stop existing for halloween?
223·1 day agobut isn’t using AI inherently unethical?
63·3 days agono i don’t support stealing from everyone. it’s possible to endorse a certain type of action only in certain context. like i don’t think stealing from walmart is morally wrong, but i think stealing from a mom-and-pop corner shop definitely is.
it would be even better if stole from adobe without paying the ai companies, i.e. open weights models.
stealing from the people is wrong, but i support stealing from the bourgeoise.
shit, how do i get myself out of this moral dilemma
pretty sure an asteroid will wipe out people causing the doom too
Saying “self-verified” is massively downplaying it. They are formalized and checked in Lean4 1, which is a programming language used by mathematicians today, to mechanically check their proofs to rule out human error. In other words a theory being stated in Lean generally means it’s more likely to be correct than one stated in mere human language.
Now, Lean, like any piece of software, has had bugs. A while back someone exploited a Lean bug to “prove” the Collatz conjecture 2. So it is possible that AI agents found a bug and used it. But the vibes I got from mathematicians in the field is that that’s not very likely.
At least half of these are formally verified. Although they did retract 3 papers. Out of about 700
we are going to give clanker rights before we have trans rights 💀
[remembering girls hate capitalism] no wait. I give drugs to kids in need for free
that’s exactly right! it’s kept secret because if someone figure out exactly how it’s done it becomes easy to remove. so it’s security through obscurity, but it’s what we have unfortunately. (and even today, anyone can generate images with an open-weight model, which will not have any watermarks).