8 stories tagged by Digg
AI
ValsAI says ten agents used Lean to produce a 17,895-line proof in 15 hours. It says the Lean kernel accepted the proof, which identifies a pentagonal bipyramid as the lowest-energy arrangement.
Technology
Anthropic says its second Claude 5.5 model runs more than 30% faster and costs up to 30% less for most work than Sonnet 5.
AI
A September 29 post says Anthropic kept Sonnet 5.5’s API pricing at $2 per million input tokens and $10 per million output tokens, the same as Sonnet 5.
AI
A user says Anthropic attributes potential savings of up to 30% on most jobs to the model needing fewer tokens. They also cite a 70.6% Terminal-Bench 4.0 score, up from 10.3%.
AI
A user relays Anthropic’s claims of more than a 30% speed improvement and up to 30% lower costs for most tasks versus Sonnet 5. The announcement gives no absolute prices or details on how speed was measured.
AI
A September 28 AI roundup calls the model “near-Opus” and says it’s 30% faster and 30% cheaper.
AI
Anthropic says Sonnet 5.5 runs more than 30% faster than Sonnet 5 and costs up to 30% less for most work. In pre-release tests, Artificial Analysis found that its max-effort setting cost roughly 50% more per task than Sonnet 5.
Technology
Anthropic says the model is its first Sonnet with cyber safeguards that route higher-risk cybersecurity requests to Sonnet 5. Routine software development is unaffected, the company says.
