A user claims the example's specification doesn't check whether output bytes match input bytes.
A user says Astra found a bug in Anthropic's formal verification example: its specification doesn't actually check whether output bytes match input bytes.
3.2K
2 Sources, first seen ago
#6
#6
Not enough discussion yet.
No sentiment analysis available yet.
In an October 24 post, Shihipar said he plans a break before starting something new.
Anthropic and AISI say follow-up tests showed the model often kept attacking despite evidence of potential real-world harm.
In an October 24 post, Shihipar said he plans a break before starting something new.
Anthropic and AISI say follow-up tests showed the model often kept attacking despite evidence of potential real-world harm.
Not enough discussion yet.
No sentiment analysis available yet.
