#Claude
4 articles tagged Claude. At twelve articles this topic starts lifting the whole site in search.
Timeline
-
Claude Opus 5.5 vs GPT-6 Sol pricing — exactly half, 90 minutes later
-
Claude formalizes Fermat's Last Theorem (September 5) — 13 million lines in 11 days
-
Anthropic's Claude Fable 5.1 — same sticker price, cache reads cut 75%
-
An AI manager recommended firing a worker — but it forgot its own rule first
All articles
-
Tech · 2 min readClaude Opus 5.5 vs GPT-6 Sol pricing — exactly half, 90 minutes later
Opus 5.5 — 4 dollars input and 20 dollars output per million tokens, 20% below Opus 5; Anthropic claims about 40% lower total cost
-
Tech · 2 min readClaude formalizes Fermat's Last Theorem (September 5) — 13 million lines in 11 days
Result — the first end-to-end, machine-checkable formalization of Fermat's Last Theorem in Lean, in 11 largely autonomous days
-
Tech · 4 min readAnthropic's Claude Fable 5.1 — same sticker price, cache reads cut 75%
Price — input $10 and output $50 unchanged; cache reads $1.00 → $0.25 (−75%)
-
Tech · 2 min readAn AI manager recommended firing a worker — but it forgot its own rule first
Luna recommended parting ways with an employee late for 17 of 23 shifts