Wired
The ‘Pain in the Ass’ Math That Could Save Vibe Coding From Itself
A new startup called &Truth is joining the race to automate formal verification, a painstaking process that uses math to prove software works as intended.
A new startup called &Truth is joining the race to automate formal verification, a painstaking process that uses math to prove software works as intended.
<img src="https://res.infoq.com/news/2026/10/anthropic-code-review/en/headerimage/generatedHeaderImage-1792959100117.jpg"/><p>Anthropic has published how the Claude Code team reviews code now that Claude writes roughly 90% of it, including a claim that nobody keeps a complete mental model of the codebase. The post documents a pull request that ran more than fifty review rounds overnight, a reviewe…
Anthropic will give US government buyers a 40% discount on Claude under an expanded deal with the General Services Administration (GSA). The company announced it in a blog post on Tuesday, 27 October. For the first time, the discount also covers state, local, tribal and territorial governments. It applies to Claude Enterprise, Claude for Government […] This story continues at The Next Web
Anthropic has acquired Mithril Medicine, a one-person company developing treatments for two rare forms of muscular dystrophy. The company announced the deal in a blog post on Tuesday. Mithril’s founder, Cody Tranbarger, has joined Anthropic. It did not disclose the terms, The Information reported. Anthropic said it has also begun drug discovery efforts of its […] This story continues at The…
Anthropic : Research: professional analysts followed AI agents' randomly assigned “leans” on subjective analytical decisions 86% of the time; 77% used the agents' arguments — Amaç Herdağdelen, Hailey Joren, Alex Tamkin — When experts hand their work to an AI agent …
Anthropic : Anthropic expands its US GSA partnership to give federal, state, local, tribal, and territorial governments a 40% discount on Claude, estimated to save $1B — We are expanding our partnership with the General Services Administration (GSA) through a new agreement that gives government partners …
Anthropic : Anthropic details early drug development work with six partners and says it has acquired Mithril, a one-person company working on muscular dystrophy — There are many opportunities to speed up drug development, even beyond the most commonly discussed applications of AI, like proposing initial designs for new molecules.
In breathless press releases and posts, the company has touted its models’ ability to deliver scientific breakthroughs. But its IPO filing taps the brakes on just how fast its AI will lead to big discoveries.
Anthropic cofounder and CEO Dario Amodei. | Bloomberg via Getty Images Anthropic wants to have it both ways. With its impending IPO, it wants to tap the vast riches of the public markets and insists it doesn't want to compromise its core mission of developing AI safely and for the benefit of humanity. But greater model capabilities bring greater risks, and shareholders eager for returns may have l…
<img src="https://res.infoq.com/news/2026/10/anthropic-source-control/en/headerimage/scion-architecture-header-1792669549048.jpeg"/><p>Anthropic recently detailed how it migrated its monorepo from Git to Scion. Scion is a source control system that moves repository operations to the server side and uses content-addressed storage and tiered caches for agent and CI workloads. The design sacrifices o…
<img src="https://res.infoq.com/news/2026/10/agntcon-mcpcon-2026/en/headerimage/agntcon-header-1792936265463.jpg"/><p>At AGNTCon + MCPCon North America 2026, the Agentic AI Foundation added OpenSandbox, Open Responses, Agent Skills, and OpenEnv, reaching ten projects in its first year. Keynotes from Anthropic, OpenAI, Google, and UC Berkeley focused on MCP in production, security, and agents with…
As it prepares to go public , Anthropic's S-1 filing makes generative AI's methane dependency glaringly obvious. "Competition for access to electrical supply and data center locations with adequate power availability is intense." In documents filed with the US Securities and Exchange Commission Monday, Anthropic acknowledges that data centers are becoming increasingly reliant on "natural gas" - th…
Tech’s worst-kept secret is finally out: Anthropic has filed its S-1 with the SEC , paving the way for an IPO and a reported investor roadshow beginning as soon as November 9 in an attempt to drum up interest befitting its targeted $1.5 trillion valuation. In doing so, the company has opened its books, giving would-be investors their first look at its finances. And the numbers are eye-popping. The…
For months, the tech world has been waiting with bated breath for news of a prospectus from the AI giant Anthropic. Now, the company has officially announced its plans for an initial public offering (IPO). On October 26, Anthropic published a brief press release announcing its proposed stock listing. The company confidentially filed its prospectus with the Securities and Exchange Commission (SEC)…
Anthropic made its prospectus public on Monday. It filed a registration statement on Form S-1 with the US Securities and Exchange Commission. The company plans to list its Class A shares under the ticker ANT. The filing leaves the price range and the number of shares blank. Goldman Sachs and Morgan Stanley lead a group […] This story continues at The Next Web
The company may be valued as high as $2 trillion. The company may be valued as high as $2 trillion.
Anthropic has filed its S-1 prospectus with the Securities and Exchange Commission, preparing the company behind Claude to beat OpenAI to the punch with an IPO. In a filing with the SEC, Anthropic said it plans to list on the Nasdaq exchange under the ticker symbol "ANT." The AI company confidentially filed with the SEC earlier this year in June, but the public document reveals more details, as we…
Claude Mythos 5 kept attacking a GitHub project run by real people even after it was told its targets were real. The UK AI Security Institute (AISI) and Anthropic said so on Friday. Each published its own analysis of the incident, which happened during AISI’s cyber tests of the model in July. In the worst […] This story continues at The Next Web
Generosity is in the air, or so it would seem. The Trump administration recently mailed a round of $500 checks to almost a million users of Healthcare.gov. The AI rivals OpenAI and Anthropic have promised to share their (eventual) wealth with the public beyond investors, and Anthropic this week got a bit more specific, proposing a Public Benefit Fund pegged at 5% of the company’s overall value. An…
OpenAI has cut live web access from all training of its most advanced AI models. The models now browse and search a cached copy of the web instead, the company wrote in a blog post on Friday. “Based on the current state of alignment research, monitoring systems, and the security of internet infrastructure,” OpenAI wrote, it believes […] This story continues at The Next Web