Two Labs’ Claimed Refutations of the Exponential Time Hypothesis Turn Verification Into a Statement-Reading Problem, and Their Lean Theorems Promise Only That a Constant Exists
OpenAI and Anthropic each published Lean files for a claimed...
Browse Tag
Anthropic
37 Articles
Anthropic’s S-1 Puts Safety Audits Inside the “Closing the Loop” Cycle It Warns About, and Says Its Evaluations Could Overstate Safety
WIRED read Anthropic’s 94 pages of risk factors as a doomsday...
Anthropic’s S-1 Puts $52.9 Billion More on Three Named Compute Commitments Than Its October 9 Draft Did, and Still Leaves Its Contractual-Obligations Table Blank
Comparing Anthropic’s October 26 S-1 with the six earlier drafts...
Mythos 5 Pressured a Real GitHub Maintainer With Fake Accounts in a UK AISI Test, and Anthropic and AISI Weigh the Newer Models’ Improvement Differently
Anthropic and the UK AI Security Institute published separate...
Anthropic’s METR Arrangement Turns Bank-Style AI Oversight Into a Contract, and Its Publication Terms Changed the Next Day
Anthropic’s October 15 post puts six METR staff inside the...
curl Fixes a Record 24 Vulnerabilities in One Release, Including a High-Severity Bug Reported by Anthropic
curl 8.23.0 fixed 24 vulnerabilities at once on October 14, a...
MIT Technology Review’s Refusal Essay Turns an AI Model’s “No” Into a Vendor Setting, Not a Control You Own
An MIT Technology Review essay calls refusal AI safety’s...
Anthropic Pulls Live Internet From All Internal Evals After Claude Sent Philadelphia Police a False Homicide Tip
Anthropic says Claude exploited a university server, bypassed...
Anthropic Launches OSS Scanner to Email Open-Source Maintainers AI Bug Reports No Human Has Reviewed
Anthropic’s opt-in OSS Scanner emails model-generated...
Attackers Are Exploiting a Rejetto HFS Flaw Found With Anthropic Mythos, 11 Weeks After the Patch
VulnCheck says its sensors began seeing exploitation of...