PulseAugur
EN
LIVE 09:02:02

Anthropic enters drug development, Mistral releases Leanstral 1.5, and PNG prompts cut Claude costs

Anthropic is venturing into drug development, aiming to compete with its existing pharmaceutical clients. Meanwhile, Mistral AI has released Leanstral 1.5, a model capable of identifying software bugs through theorem proving. Additionally, a new technique involving PNG prompts has been developed that can reduce Claude's operational costs by up to 60%. AI

IMPACT Multiple AI developments reported, including Anthropic's move into drug development, Mistral's new model for code analysis, and cost-saving techniques for Claude.

RANK_REASON This cluster consists of multiple distinct news items from a daily digest, not a single cohesive story.

Read on Mastodon — fosstodon.org →

AI-generated summary · Google Gemini · from 1 sources. How we write summaries →

Anthropic enters drug development, Mistral releases Leanstral 1.5, and PNG prompts cut Claude costs

COVERAGE [1]

  1. Mastodon — fosstodon.org TIER_1 English(EN) · [email protected] ·

    Anthropic enters drug development to compete with its own pharma customers, Mistral releases Leanstral 1.5 finding real code bugs via theorem proving, and a PNG

    Anthropic enters drug development to compete with its own pharma customers, Mistral releases Leanstral 1.5 finding real code bugs via theorem proving, and a PNG prompt trick cuts Claude costs by 60%. https:// ai0.news/posts/2026-07-04-dail y-digest/ # AI # Anthropic # Cybersecuri…