ClaimsDario Amodei

“I’m really not against using formal reasoning methods and using mathematics but I think it’ll be possible to do that work more productively once we understand how it fits in with current systems.”

Dario Amodei 13 October 2025 Dario Amodei on OpenAI and how AI will change the world for good and ill (80,000 Hours) archived copy

Not checkable

I’m really not against using formal reasoning methods and using mathematics but I think it’ll be possible to do that work more productively…

Not checkable An opinion, value judgement or statement with nothing to check.

Not checkable: An opinion, value judgement or statement with nothing to check. Not scored.

Cite this claim

Dario Amodei, “I’m really not against using formal reasoning methods and using mathematics but I think it’ll be possible to do that work more productively…” (said 13 October 2025). Verdict: not checkable. Reliability API, claim c_aa6efcbeec3e, method 0.1.0+c876030c, dataset release v1.1.2. https://epistacklabs.com/claims/c_aa6efcbeec3e

This claim is in dataset release v1.1.2, with the same verdict.

Reply to this claim

For Dario Amodei, or someone speaking for them: a correction or counter-evidence. Replies are read before anything is shown; an approved reply shows your name, role, date, statement and link. Your email address is never shown and is deleted 30 days after the decision (privacy).

Verdicts are made automatically; how verdicts are made.