Claude– tag –

Anthropic and its partner Theorem used Claude to formally verify 123 open-source libraries, generating about 180 million lines of proof code. We explore what it means for AI to move from “writing” to “proving”—and where its limits lie.

Claude’s official account announced a research preview of Claude Duet, an agent app designed to act proactively. This article examines what the next generation of AI apps might look like through four elements of its design: surfacing matters requiring attention, carrying out requested tasks, continuing work while users are away, and seeking confirmation before acting on their behalf.

At Anthropic, the share of new hires in early-career technical roles fell from 27% to 9%. AI agents are now operating six times as many hours as people across the company. The gains in efficiency raise questions about the future of workforce development.

Anthropic’s Claude reportedly identified the origin of an NSA-provided elliptic-curve “seed” in less than 30 minutes. The key point is that it uncovered the provenance of a set of parameters rather than breaking the cryptography. Here, we examine how AI’s ability to narrow down hypotheses based on a bias helped—and what the result means.

Anthropic said it strengthened defenses against large-scale attempts to extract information about Claude’s reasoning process, reducing the volume extracted by 90% to 99%. This article examines a new front in the AI race through the defensive measures involved: fake-account detection, classifiers, and account suspensions.