Anthropic releases new top models: Meta’s Muse Ember rivals leading fast models
AlphaProof Code verifies Signal’s cryptography algorithm. Alibaba’s Co-Design Bench measures fully correct commits. Google’s most powerful model now available for developers. Anthropic ports Claude from Nvidia to AMD processors in three days.