Tech Meridian ← ENTITY INDEX
PROMY MERIDIAN RU

COMPANY · ENTITY #18627

OpenSSL

Related event timeline, sources and context from the news index.

EVENT TIMELINE

3

RESEARCH · 1 SOURCE · The Decoder

Anthropic's Claude autonomously generated formal proofs for existing code and found hundreds of bugs

Anthropic, with partner Theorem and its Frontier Red Team, used the Claude model to translate crash tests into formal mathematical proofs for 123 OSS-Fuzz libraries, producing about 180 million lines of proof code in weeks and surfacing hundreds of bugs; proofs are checked by an independent verifier called Rocq but are limited to strict environments and high compute costs. Anthropic says the process is largely autonomous and sees AI-driven formal verification becoming as routine as standard testing, while Theorem targets critical libraries like glibc, OpenSSL and cURL next.

8.0

COMPANIES · 1 SOURCE · InfoQ AI, ML & Data Engineering

Anthropic launches OSS Scanner — opt-in AI security scanning for critical open-source projects

Anthropic launched OSS Scanner, a free opt-in service that uses its strongest models (including Claude Mythos) to generate automated security reports for enrolled open-source projects. Reports include reproducers, bisection-based change attribution and candidate patches, are delivered without human review, and maintainers can choose whether to validate and apply fixes; Anthropic tested an early scanner on 97 findings and cites examples including a curl-reported CVE-2026-92392 fix.

7.0

COMPANIES · 1 SOURCE · Cohere

Cohere to acquire AISLE for cyber‑resilient sovereign AI

Cohere announced a proposed agreement to acquire AISLE, a startup founded in 2025 that builds autonomous systems to discover, validate, and help remediate previously unknown software vulnerabilities. Cohere says AISLE found more than 500 vulnerabilities assigned CVEs in its first year—including all 12 OpenSSL fixes in January and 18 of 24 curl CVEs—and that the acquisition would strengthen its sovereign AI platform, secure deployments (private cloud, on‑premises, air‑gapped) and European presence.

8.0