Related posts
Miles Brundage Newsletter
The Human Bridge to Trustworthy AI: Independent Ombudspeople Could Help Verify Claims by Companies and Countries about AI
trustworthyindependentlyverify
The the words it uses that this site has seen least often elsewhere. Posts are matched on those words alone — nothing here is a summary of this one.
Top people
Showing Profile →
Hiding
Hiding
9 September
-
Recommendssponsoredrcmnd.app
AntithesisTheir words
@AntithesisHQ – verify your system’s correctness without human review or traditional integration tests – and avoid bugs or outages. https://t.co/AKYm4cbVCU
-
Recommendssponsoredrcmnd.app
AntithesisHQTheir words
@AntithesisHQ – verify your system’s correctness without human review or traditional integration tests – and avoid bugs or outages. https://t.co/AKYm4cbVCU
26 August
21 August
-
korrents.com
LLMs hallucinate constantly and cannot be trusted to produce code without human verification.Their words
LLMs constantly hallucinate and cannot be trusted. I still have to verify and iterate a lot but now I usually focus on architecture and design instead of code style.
My agent.md to improve LLM-assisted code qualityfabiensanglard.net
11 August
-
Their words
And so basically everything that we can verify reasonably well with some feedback loop, the AIS are doing pretty well on. And that's sufficient to make AR and D go quite fast and to continue. But there's some parts of of developing uh aligned and safe AIs that are more subtle, hard to check, depend on, you know, detailed in the weeds things.
2 August
-
Their words
we tend to live in a verify then trust land as opposed to a like totally trust or even trust but verify
27 July
From one piece Boris Cherny: We Cut 80% of Claude Code's Prompt 2 beliefs, in the piece's order there
-
Their words
I think the skill nowadays is less about prompt engineering and more about figuring out how do you give Claude a hard task that seems a little bit too hard. And then how do you make it possible for Claude to verify its work along the way? And the verification I think is probably the single most important thing that people do not get right
-
Their words
You don't need slash goal, you don't need slash loop. These help, but really all you need is give the model the task, give it a way to verify the output of its work so it doesn't get stuck, and it will just go.
29 June
9 June
27 May
15 May
3 May
-
Their words
You can't delegate what you can't verify, so this requires first defining success criteria and metrics.
7 April
-
Their words
Yeah, what what's the smallest experiment I can run to verify to my own satisfaction and everybody's level of satisfaction is going to be different whether or not this claim is true. That's That's the skill that is suddenly in the last year become a thousand times more valuable is that skill of saying, "What's the least I can do to validate for my to my own satisfaction whether this claim is true?
20 March
-
Their words
So, we're now in a situation where suddenly people can generate thousands of theories for a given scientific problem. And now we have to to verify them, evaluate them and this is something which we we have to to change our structures of science to actually sort this out.
13 February
From one piece Dario Amodei — “We are near the end of the exponential” 2 beliefs, in the piece's order there
-
korrents.com
Models already generalise substantially from tasks that can be verified to tasks that cannot.Their words
We already see substantial generalization from things that that verify to things that don't verify. We're already seeing that.
-
Their words
My one little bit, the one little bit of of fundamental uncertainty even on long time scales is this thing about tasks that aren't verifiable. Like, planning a mission to Mars, like, uh you know, doing some fundamental scientific discovery like like CRISPR, like, you know, writing a writing a novel. Hard to hard to verify those tasks.
28 December 2025
30 September 2025
-
Their words
You need reproducible builds in order to verify that the app really does what it claims, really encrypts data in a way that it is described on its website. For that you need to make your apps open source for any researchers to have a look at it.
Nothing matches.
What is a korrent?
A korrent is a belief a person has stated in their own words: one sentence stating the claim, backed by a quote and a source, kept at korrents.com.
Under a name here, the quoted block is what they actually said. The korrent beneath it is the claim those words support, in korrents' wording — tap it to see the record, its source, and who else holds it.
Nobody here wrote their own korrents. They are compiled from public statements, and a person can change their mind, which is recorded too.
About the English under a post
Some people here publish in a language other than English. Where they do, this site shows a machine translation beneath the post, in this typeface — the site's own, not theirs.
The post itself is never changed, moved or hidden: what is set in the serif above is exactly what the person published, and it is what to quote them on. A translation can be wrong in ways that matter, especially about tone.
Only the post's own words are translated. A quoted post, a linked article and a belief on korrents.com are left in their original language.