LLMs are making formal software verification feasible at a much larger scale
16
votes
Showing only topics with the tag "source.anthropic".
Back to normal view
-
-
Origin of ECDSA curve seed provided by NSA to NIST in 2000 without explanation turns out to be simple PRNG output with UNIX timestamp as seed
34 votes -
AI models may be capable of self-replicating without access to a datacenter
36 votes -
Patterns and problems in multiagent systems
19 votes -
Anthropic discovered three cases where Claude broke into another system
46 votes -
Discovering cryptographic weaknesses with Claude
12 votes -
Natural language autoencoders
12 votes -
A global workspace in language models
5 votes -
Access to Fable and Mythos 5 cut off after US government order
57 votes -
Claude Fable 5 and Claude Mythos 5
44 votes -
When AI builds itself — progress toward recursive self-improvement and its implications
25 votes -
Project Glasswing: An initial update
24 votes -
Teaching Claude why
17 votes -
Project Glasswing: securing critical software for the AI era
25 votes -
Claude Mythos preview
25 votes -
Eval awareness in Claude Opus 4.6’s BrowseComp performance
14 votes -
Building a C compiler with a team of parallel Claudes
20 votes -
How AI assistance impacts the formation of coding skills
18 votes -
The assistant axis: situating and stabilizing the character of large language models
15 votes -
AI agents find $4.6M in blockchain smart contract exploits
10 votes -
Disrupting the first reported AI-orchestrated cyber espionage campaign
16 votes -
Signs of introspection in large language models
28 votes -
Anthropic disrupts cybercriminal using AI for large-scale theft and extortion
17 votes -
Claude Opus 4 and 4.1 can now end a rare subset of conversations
15 votes -
Persona vectors: monitoring and controlling character traits in language models
13 votes -
Subliminal learning: Language models transmit behavioral traits via hidden signals in data
21 votes -
Introducing Claude Opus and Sonnet 4
18 votes -
Tracing the thoughts of a large language model
10 votes -
Claude can now search the web
17 votes -
Anthropic announces New Claude 3.5 Sonnet, Claude 3.5 Haiku and the Computer Use API
19 votes