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
OpenAI says it will deny internet access to the frontier models it is training, a move that underscores the inadequacy of safety measures undertaken to date. "Based on the current state of alignment research, monitoring systems, and the security of internet infrastructure, we believe the responsible approach is to conduct frontier model training with no internet access," the company said in a blog…
Some of Silicon Valley’s biggest names are digging deep into their pockets. Elon Musk has promised to give every child in America a share in SpaceX next year. That would amount to roughly 72 million shares worth $10.5 billion at recent prices. It’s a generous offer, although each child would receive about $146, a tiny fraction of Musk’s fortune, which has recently topped $1 trillion. And Musk isn’…
<img src="https://res.infoq.com/news/2026/10/anthropic-oss-security-scanner/en/headerimage/generatedHeaderImage-1792523938215.jpg"/><p>AI company Anthropic has launched OSS Scanner, a free, opt-in service to find vulnerabilities in open-source projects. Enrolled maintainers receive periodic security reports generated by the company's strongest models, including Claude Mythos. The reports are sent…
Do you remember those 200 questions you asked ChatGPT — the ones you’d be far too embarrassed to ask your own mom? You may have thought it was all confidential, but a growing number of cases show these chats are not protected by any legal safeguards and could end up in court. In May 2025, a US court ordered OpenAI to hand over more than 20 million ChatGPT logs that users had previously deleted in…
The Agentic AI Foundation (AAIF) has been entrusted with stewardship of four additional AI projects in the hope of broadening the set of vendor-neutral tools for making AI agents. The AAIF was founded in December 2025 under the auspices of the Linux Foundation as a vendor-neutral organization for the benefit of AI companies more interested in riding a tide that lifts all boats than making waves. I…
Anthropic used Claude to analyze 25 open source projects and uncovered nearly 500 security issues Research found exposed pre-authentication code paths, conflicting security settings, and long-hidden flaws AI identified attack-surface reductions that removed unnecessary code exposure before vulnerabilities could be exploited Anthropic recently used Claude to analyze 25 major open source projects wr…
An investment research firm wanted to prove AI could revolutionize drug development. So they teamed up with Anthropic to see whether an unreleased version of Claude could make scorpion antivenom. It couldn't. It came up with some promising starting points, but nothing close to an actual drug, experts tell The Verge . Citrini Research, the firm behind the experiment, admitted that "none of us could…
Anthropic pointed its Claude models at 25 widely used open-source projects and set them a different task: not finding individual bugs, but finding code that attackers can reach when they should not be able to. Claude flagged 493 such issues. One of them had sat in the software for 21 years. The work is a […] This story continues at The Next Web
A Windscribe update from July 2026 appears to credit AI engine Fable for identifying necessary fixes The AI audit successfully spotted complex vulnerabilities across the provider's Windows, macOS, and Linux applications. Rival providers remain seriously apprehensive of the technology, warning of the possible consequences of error. Windscribe appears to have quietly revealed that it used artificial…
The proposed policy seems to offer protections against AI run amok but actually forbids federal agencies from blocking a model's release without the permission of a judge.
As they steam toward massive public offerings on Wall Street, the companies at the forefront of artificial intelligence have begun sketching plans to share their wealth with the public—a commitment they say is imperative to address disruptions the technology could bring to the workforce and people’s livelihoods. Executives at Anthropic and OpenAI have long argued the technology’s arrival will brin…
The US has ordered federal civilian agencies to remove DeepSeek products and third-party services built using its technology, citing national security concerns.
What’s it really like to work at Anthropic? The AI company made headlines last month when an employee resigned , claiming the company is “racing straight to self-improving superintelligence and gambling with our lives,” and that conversations about an AI-powered doomsday are par for the course among staff. Now Anthropic is pulling back the curtain on its own workplace with a new report on the impa…
<img src="https://res.infoq.com/news/2026/10/java-news-roundup-oct12-2026/en/headerimage/java-news-roundup-image-1792439632913.jpg"/><p>This week's Java roundup for October 12th, 2026, features news highlighting: three OpenJDK JEPs targeted for JDK 28; the October 2026 edition of Azul Payara; point releases of Gatherers4j, Yupiik Fusion, Google ADK for Java and Google ADK for Kotlin; and 38 CVEs r…
Anthropic just released a pledge to commit 5% of its total shares to a new fund to be used for the “public good.” The public isn’t so sure. The privately held AI company, which is planning what could be the largest initial public offering (IPO) in stock market history, published a press release announcing the creation of the “Anthropic Public Benefit Fund,” a “wholly-owned LLC” that will, per the…
GPT-6 Astra has cracked the code on a 19th-century military cipher Claude AI has also been busy testing elliptical curve encryption Both breakthroughs highlight the increasing capabilities of AI models AI continues to push the boundaries in almost every task it gets given, and two new reports highlight the tech's growing capabilities when it comes to code-breaking and testing widely used encryptio…
Anthropic says it is no longer hiring so many junior/entry-level roles Many technical workers are becoming AI managers, and so are spending more time in meetings The company says its "deep adoption" makes it a useful "early warning system" for AI's impacts One of the biggest AI developers in the world has released a brand-new study on how AI is transforming its own workforce - but we're not sure w…
Anthropic said that it will commit 5% of its shares to the fund.
Emmanuel Ameisen is an interpretability researcher at Anthropic, where he looks inside LLMs like Claude to understand how they think. Before joining Anthropic, he spent years in applied ML at Stripe and Insight, and is the author of Building Machine Learning Powered Applications . His research has produced some of the most striking findings in the field: that models form general representations of…
The composition of Anthropic’s workforce and the type of work getting done have changed significantly in the past year.