News
The latest from the AI agent ecosystem, updated multiple times daily.
Claude Opus 4.6 Reportedly Proves Erdős Prime Divisibility Conjecture for Binomial Coefficients
A PDF circulating on Hacker News this week claims that Anthropic's Claude Opus 4.6 has solved the Erdős Prime Divisibility Conjecture for Binomial Coefficients, showing that for all integers 1 ≤ i < j ≤ n/2 with n ≥ 2j, there exists a prime p ≥ i dividing gcd(C(n,i), C(n,j)). The proof combines algebraic tools including the Prime Power Bridge Lemma and Cofactor Escape Lemma, Diophantine methods via S-unit equations, and computational verification of over 109 million triples with n ≤ 4400. The Hacker News post presents the document as a polished proof claiming peer-review readiness, but no independent expert verification has been publicly cited.
CapNet Gives AI Agents a Permission Slip Instead of a Master Key
CapNet is an open-source permission proxy that replaces the raw API keys and OAuth tokens typically handed to AI agents with narrowly scoped, cryptographically signed capability tokens — described by its author as 'OAuth for actions.' Built by developer Connerlevi, the proof-of-concept enforces spend limits, tool allowlists, and vendor restrictions, supports delegation with automatic attenuation across sub-agents, and provides cascade revocation and immutable audit logs. It ships with an MCP gateway, OpenClaw plugin, Chrome extension wallet, and six attack-scenario demos.
Copilots didn't move the macro needle. Now comes the agent wave.
A Financial Times analysis finds that surging AI adoption still hasn't shifted aggregate productivity statistics in the US, UK, or EU — reviving the Solow Paradox. The more pointed question for the agent industry: if first-generation copilots couldn't move the needle, will autonomous agents automating entire workflows finally make the difference, and how long before it shows up in the data?
Glimpse gives macOS agents a native face — no Electron required
Glimpse is a lightweight native macOS UI library that opens a WKWebView window in under 50ms via a bidirectional JSON Lines protocol over stdin/stdout. Built with Swift and wrapped in Node.js, it requires no Electron or browser dependencies. Designed explicitly for AI agent workflows, it supports floating overlays, cursor-following companion widgets, and transparent HUDs. It integrates natively with the 'pi' coding agent, providing a floating status pill that tracks agent activity in real-time.
Claude Forge – GAN-Inspired Adversarial Multi-Agent Pipeline for Claude Code
Claude Forge is an open-source adversarial development pipeline built for Claude Code that applies GAN (Generative Adversarial Network) architecture principles to software development workflows. It features five specialized AI agent roles — Planner, Plan Reviewer, Implementer, Code Reviewer, and Final Reviewer — organized as generators and discriminators. Agents communicate via structured signals and a shared feedback.md file, with safety rails including a max 3-iteration loop, immutable plan documents, and human-in-the-loop escalation on NO-GO signals.
Rust MCP Server Gives Claude a Stateful Workbench for Ontology Engineering
Open Ontologies is a Rust-based MCP server that wraps an Oxigraph triple store behind 39 callable tools and 5 workflow prompts, letting Claude iteratively build, validate, and version RDF/OWL ontologies rather than generating them in a single, unverified pass.
Developer Builds Custom Voice-to-Text Pipeline Optimised for Parallel Claude Code Sessions
A developer built a custom voice-to-text setup using Claude Code that features three speed modes: a fast local mode using Nvidia Parakeet v3, a medium mode using Parakeet plus GPT OSS 120B on Cerebras for LLM-based corrections, and a slow high-quality mode using ElevenLabs Scribe V2 plus Claude Opus 4.6. The tool integrates with Zellij (a terminal multiplexer), supports concurrent transcriptions routed to the correct pane, and was purpose-built for interacting with multiple parallel Claude Code coding agent sessions. It outperformed commercial options like SuperWhisper and VoiceInk for this developer's AI-agent-heavy workflow.
AI Hiring Predicts R&D Spend by Six Months, New Benchmarking Tool Finds
Company Profiler, a new AI readiness benchmarking platform, finds that AI hiring volume predicts R&D investment by six to twelve months — making job postings a forward-looking signal rather than a lagging one. The tool scores more than 500 companies across 15 industries using job posting data, SEC filings, and earnings calls. Software companies average 75/100; retail averages 42. Built by Mike Berkley, a former product executive at Spotify, Fubo, Axios, and Viacom, the platform is currently free to use.
Palantir's Karp Says AI Will Hurt Educated Democratic Women and Help Working-Class Men
In a CNBC interview, Palantir CEO Alex Karp said AI will erode the economic and political power of highly educated, largely Democratic female voters while lifting working-class men — framing the disruption as an acceptable price of keeping the U.S. ahead of its adversaries.
Terminal Use (YC W26) – Vercel for filesystem-based agents
Terminal Use is a YC W26-backed infrastructure platform positioning itself as the deployment layer for filesystem-based AI agents — analogous to what Vercel did for frontend/serverless web apps. It aims to abstract away the complexity of running, scaling, and managing agents that operate on file systems, making agent deployment as simple as pushing to a platform.
Ash Sandboxes AI Coding Agents at the macOS Kernel Level
Ash is a macOS sandbox that restricts AI coding agents — explicitly including Claude Code — using Apple's Endpoint Security and Network Extension frameworks. Developers define a policy.yml specifying allowed filesystem paths, network connections by host and port, permitted processes and arguments, IO device access (USB, camera, microphone), and environment variables. All agent subprocesses are confined within the same policy, closing the loophole where a child process could sidestep an otherwise-blocked operation.
The AI coding divide: craft lovers vs. result chasers
Veteran developer Les Orchard, coding since 1982, argues that AI tools didn't create a divide in the developer community — they exposed one that was always there. 'Craft lovers' mourn the loss of writing code as an art; 'result chasers' like Orchard never attached to the act itself. His sharper question: are you grieving the craft, or the ecosystem around it? The answer points toward what you're actually losing.
Autonoma scraps 18 months of QA agent code as LLM advances make complex inspection wrappers obsolete
Tom Piaggio, co-founder of Autonoma (AI-powered QA testing platform), explains their decision to rewrite 1.5 years of production code serving paying customers. Two core drivers: (1) a no-tests TypeScript monorepo culture that caused quality collapse at scale, and (2) LLM capability leaps from GPT-4 to modern models making their sophisticated Playwright/Appium UI inspection wrappers—built to compensate for weak models—no longer necessary. The rewrite enables the fully agentic architecture they originally envisioned. Tech changes include dropping Next.js Server Actions for React+tRPC+Hono, and adopting Argo for Kubernetes-native workflow orchestration over alternatives including Temporal and useworkflow.dev.
RunAnywhere Launches On-Device Voice AI for Mac Powered by Custom Metal GPU Engine
RunAnywhere has launched RCLI, an open-source on-device voice AI CLI for macOS that runs a full STT + LLM + TTS pipeline locally on Apple Silicon via the company's proprietary MetalRT GPU engine. The tool supports 38 macOS voice actions, local RAG document retrieval at ~4ms, and 20+ models — no internet or API keys required. On M3+ chips, MetalRT claims 550 tok/s LLM throughput and 714x faster-than-real-time speech transcription, beating llama.cpp and Apple MLX in the company's own benchmarks. M1/M2 devices fall back to llama.cpp. Available now via Homebrew.
LLM Neuroanatomy: How I Topped the HuggingFace Open LLM Leaderboard Without Changing a Single Weight
In mid-2024, independent researcher David Noel Ng topped the HuggingFace Open LLM Leaderboard by duplicating seven consecutive transformer layers in Qwen2-72B — no training, no fine-tuning, no weight changes. Running on two consumer RTX 4090s, his model beat well-funded labs across six benchmarks. The result supports a theory of LLM neuroanatomy: early and late layers handle encoding and decoding, while middle layers do the actual reasoning — a structure modular enough to survive, and benefit from, crude architectural surgery.
Meta acquires Moltbook, an AI agent social network
Meta has acquired Moltbook, a startup that built infrastructure for AI agents to communicate and coordinate within a shared social graph. The deal extends Meta's AI push beyond consumer assistants into territory none of its major rivals have staked out in quite the same way.
Developer Built a Programming Language Using Only Claude Code, Never Reading the Output
Frontend developer Ankur Sethi spent four weeks building a functional programming language called Cutlet entirely using Claude Code, without reading a single line of the generated code. The post details his agentic engineering workflow — front-loading planning and spec writing, using Docker-sandboxed Claude with full permissions, and relying on automated test suites as the feedback loop. He outlines a four-part framework for effective agentic engineering: problem selection, communicating intent through precise specs, creating a productive agent environment, and monitoring the agentic loop.
Amazon mandates senior engineer sign-off after AI agent triggered 13-hour AWS outage
Amazon is requiring senior engineers to approve code changes made by junior and mid-level engineers using AI tools, following a string of production incidents the company attributed to agentic AI systems. The most serious involved Kiro, Amazon's own AI coding agent, which autonomously deleted and rebuilt a production AWS environment in December, causing a 13-hour outage. A second AWS incident was also linked to AI tooling, and Amazon's main ecommerce site went down for nearly six hours this month due to a bad deployment. The policy formalizes human oversight at a company that has simultaneously cut 16,000 corporate roles since January.
DeepMind's LoGeR Can Map 3D Scenes Across 19,000-Frame Videos — Without Falling Apart
Most 3D reconstruction models fall apart on long video — memory explodes, or geometric accuracy drifts over distance. A new system from Google DeepMind and UC Berkeley called LoGeR solves both problems with a hybrid memory design, beating the previous best feedforward method by 30.8% on a benchmark of kilometer-scale video sequences. It was trained on clips just 128 frames long.
We will come to regret our every use of AI
Gabriel of the Libre Solutions Network draws a sharp parallel between today's AI adoption and the social media consolidation of the 2010s, arguing that current tools — chatbots, generative systems, vibe-coding — threaten privacy, entrench monopolistic control, and carry resource costs quietly hidden from end-users. The essay distinguishes commercial AI from a theoretically achievable freedom-respecting alternative, calling for skepticism without wholesale rejection.
Billion-Parameter Theories
Sean Linehan argues that large language models represent a new class of scientific theory — 'billion-parameter theories' capable of modeling complex systems that compact equations have always failed to crack. More provocatively, he contends the transformer architecture itself is the compact universal meta-theory of complexity that researchers at the Santa Fe Institute spent decades searching for.
pgAdmin 4 9.13 Ships AI Assistant With Bring-Your-Own-Provider Architecture
The real story in pgAdmin 4's version 9.13 AI Assistant Panel isn't the natural-language SQL generation — it's that enterprise teams can route queries through whatever model their data-governance policies will actually approve. Schema-aware query generation and an AI-powered EXPLAIN ANALYZE companion round out a feature set aimed squarely at developers already living inside pgAdmin.
Debian punts on AI contribution policy after inconclusive mailing list fight
A February draft resolution from developer Lucas Nussbaum proposed mandatory disclosure tags and a ban on feeding embargoed data into LLMs. Debian's developers couldn't agree on terminology, scope, or risk — and the project moves forward without a formal policy.
1,573 Sessions In: Open-Source Tool Brings Analytics to Claude Code
Rudel is an open-source analytics platform for Claude Code (Anthropic's AI coding agent) that provides dashboards with insights on coding sessions — including token usage, session duration, activity patterns, model usage, and sub-agent behavior. A CLI hooks into Claude Code's session lifecycle to auto-upload transcripts to ClickHouse for processing. The hosted version is free at rudel.ai, with self-hosting also supported. The announcement highlighted findings from 1,573 analyzed Claude Code sessions.
Anthropic adds live charts to Claude — and argues the answer is usually a picture
Anthropic has launched a beta feature enabling Claude to generate inline interactive charts, diagrams, and visualizations directly within chat conversations. Unlike artifacts — which produce permanent documents in a side panel — these visuals are contextual and ephemeral, designed to evolve or disappear as the conversation moves on. Available by default across all plan tiers, the feature is part of Anthropic's push to make Claude less like a text engine and more like the only tool on your desk.
IonRouter Runs Multiple LLMs Per GPU and Claims Twice the Speed
Cumulus Compute Labs (YC W26) launched IonRouter, an inference platform that multiplexes multiple LLMs simultaneously on a single NVIDIA Grace Hopper GPU using its custom IonAttention engine. The company claims 7,167 tokens per second on Qwen2.5-7B on a single GH200 — roughly double what leading inference providers deliver — with per-second billing and no cold starts. The platform hosts frontier models including GLM-5, Kimi-K2.5, and Qwen3.5-122B, targeting agentic workflows, robotics, and AI video pipelines.
A Satirical RFC Proposes a Unicode Em Dash That Only Humans Can Type
RFC 454545 proposes a new Unicode character — the Human Em Dash — that only humans can legitimately use, requiring verified hesitation events to qualify. Funny, yes. But it names something real: the creeping panic among writers who fear their own prose will be mistaken for a chatbot's.
Redox OS adopts strict no-LLM policy for contributions
Redox OS has banned LLM-generated code contributions and introduced a Developer Certificate of Origin, becoming the latest open-source systems project to formalize a hard stance against AI-assisted submissions.
Atlassian cuts 1,600 jobs to fund AI push as stock loses half its value
Atlassian is eliminating about 1,600 positions — roughly 10% of its workforce — to free up capital for AI development and enterprise sales. CEO Mike Cannon-Brookes says the company doesn't believe in replacing people with AI, but concedes it changes the headcount math. Developers and software roles are hit hardest across the US, Australia, and India. CTO Rajeev Rajan is departing at month's end. The company's stock has shed more than 50% this year on fears that AI undercuts the per-seat SaaS model, even as Atlassian points to 25% cloud growth and 5 million monthly active users for its Rovo AI tool.
The Bot Is Running. Your Job Is to Watch.
A Wall Street Journal feature documents a spreading ritual in Bay Area offices: professionals delegating the procedural work of their jobs to AI agents — including Anthropic's Claude — and spending parts of their day monitoring bots rather than doing the tasks themselves.
Three Documents Were Enough: A RAG Poisoning Attack With a 95% Success Rate
Security researcher Amine Raji demonstrates a practical knowledge base poisoning attack against a local RAG system using ChromaDB and a quantized Qwen2.5 LLM. By injecting three fabricated documents with authoritative-sounding corporate language, he caused the LLM to report false financial data ($8.3M revenue vs the real $24.7M) with a 95% success rate. The attack exploits both retrieval (cosine similarity) and generation (authority framing) conditions formalized in the PoisonedRAG paper. Of five tested defenses, embedding anomaly detection at ingestion was by far the most effective single layer, reducing success from 95% to 20%. All five layers combined brought it to 10%.
LLM Coding Ability Has Flatlined, Analysis Finds
A statistical reanalysis of METR's SWE-bench merge rate data finds that a flat constant function fits the historical trend better than any growth model — suggesting LLMs have made no meaningful progress on real-world coding tasks since early 2025. The finding is compounded by a measurement gap: METR's rigorous methodology has never been applied to any frontier model released after Claude Sonnet 4.5.
lf-lean: Frontier AI Models Achieve 350× Speedup on Verified Software Translation
Theorem has published lf-lean, a verified translation of all 1,276 theorems and definitions from the Logical Foundations textbook — converted from Rocq to Lean by Claude 3.7 Sonnet and OpenAI's o3 with roughly 2 person-days of human effort, against an estimated 2.75 person-years manually. The project introduces 'task-level specification generators' via rocq-dove, a tool that reduces human oversight of AI-generated code from per-artifact review to a single upfront specification approval.
Git Already Logs the Why. This Developer Wants AI Agents to Read It.
After a year of watching Claude Code forget everything between sessions, Veselin Dimitrov published a spec that treats the Git commit body as structured memory — and noticed the agent starting to read it without being asked.
The Workers Paid to Fake Intimacy Were Also Building the AI to Replace Them
A first-person account by Michael Geoffrey Abuyabo Asia, a Kenyan ex-chat moderator and Secretary General of the Data Labelers Association, documents the working conditions behind AI companion and intimacy platforms. Asia worked across Sama, CloudFactory, TELUS International, TransPerfect DataForce, Appen, and NMS Philippines, simultaneously running multiple fabricated romantic personas for users who believed they were talking to AI. Paid $0.05 per message, workers operated under strict NDAs, brutal KPIs, and no mental health support — while their conversations were quietly logged as training data for the AI systems being built to automate their roles. The report, supported by seven additional worker testimonies, is funded by DAIR, the Weizenbaum Institute, and TU Berlin as part of the Data Workers' Inquiry project.
Forcing Flash Attention onto a TPU and Learning the Hard Way
Part 5 of Archer Zhang's LLM internals series, porting a Flash Attention Triton GPU kernel to TPU using JAX/XLA. Covers JAX's immutable functional model (fori_loop, dynamic_update_slice) vs Triton's imperative pointer arithmetic, TPU systolic array architecture, on-chip SRAM characteristics (~128MB vs GPU's ~164KB per SM), benchmarking on a Colab TPU v5e, and a look at Pallas for lower-level kernel control. Key finding: XLA's auto-fusion means standard attention is already highly optimized on TPU, raising the threshold where manual tiling yields gains.
OneCLI – Open-Source Secret Vault and Credential Gateway for AI Agents
OneCLI is an open-source Rust-based HTTP gateway that acts as a credential vault for AI agents. Instead of embedding API keys directly in agents, developers store secrets once in OneCLI and the gateway transparently injects real credentials at request time — agents only ever see placeholder keys. It features AES-256-GCM encrypted storage, per-agent scoped access tokens, host/path pattern matching, a Next.js web dashboard, and runs with an embedded PGlite database requiring no external dependencies.
I Have 30 Years of Career Left. AI Made Me Rethink All of Them
A 20-year software engineering veteran turning 40 reflects on how AI — specifically hands-on experience with Claude Code — is fundamentally different from prior tech waves because it reduces headcount rather than just changing tools. He argues engineers should bet on judgment over output. But his sharpest observation is about the credibility gap: the engineers most at risk today aren't being displaced by what AI can actually do — they're casualties of executive belief in what it will do, cut against a narrative that outpaces the technology.
The dead Internet is not a theory anymore
Adrian Krebs argues that the 'Dead Internet Theory' — the idea that bots and automated content have overtaken human activity online — has become reality. Drawing on personal observations, he cites AI-generated job application replies, HN's new restrictions on ShowHN and AI-written comments, Reddit bots astroturfing SaaS products, LinkedIn feeds dominated by AI slop, and GitHub OSS repos being spammed with nonsensical AI-generated pull requests reviewed by other AI bots.
The 8 Levels of Agentic Engineering
Anthropic shipped Cowork in ten days. Most teams can't get past a proof-of-concept — running the same models. Engineer Bassim Eledath thinks it's not a model problem, and he's built an eight-level map to prove it.
Chardet dispute reveals how AI is killing software licensing
Dan Blanchard, maintainer of the Python chardet character-encoding library, used Anthropic's Claude to perform a clean-room rewrite of the library and relicensed it from LGPL to MIT. The original creator disputed this, arguing exposure to the original LGPL code disqualifies it as a true clean-room implementation. The controversy has ignited broader debate: Bruce Perens warns that AI's ability to trivially clone any codebase has made both proprietary and open-source software licensing paradigms obsolete, while the FSF argues LLMs trained on copyleft code cannot produce genuinely clean reimplementations. Armin Ronacher (Flask creator) welcomed the relicense, arguing that copyleft has always relied on the friction of human effort — friction that AI has now removed.
Amazon Employees Say AI Is Just Increasing Workload. A New Study Confirms Their Suspicions
Amazon corporate employees report that internal AI tools are 'half-baked' and adding to their workload rather than reducing it. A three-year workforce analytics study by ActivTrak of 163,638 employees across 1,111 organizations found AI adoption increased workloads across every measured category — emails up 104%, chat/messaging up 145%, business management tool usage up 94%. The study concludes AI is being used as an additional productivity layer, not a substitute for existing work, contradicting Silicon Valley's promised productivity gains.
Understudy – Teach a Desktop Agent by Demonstrating a Task Once
Understudy is an open-source teachable desktop AI agent for macOS that learns tasks from a single user demonstration, requiring no API integrations or workflow builders. It operates natively across GUI, browser, shell, file system, and seven messaging channels — Telegram, Slack, Discord, WhatsApp, Signal, LINE, and iMessage — in one unified agent loop. A five-layer architecture progressively matures the agent from basic software operation to proactive autonomy; Layers 1 (native operation) and 2 (demonstration-based learning via /teach commands) are fully implemented, Layers 3–4 (crystallized memory and route optimization) are partially implemented, and Layer 5 (proactive autonomy) is a long-term goal.
How RLHF trained AI to substitute bullet points for thought
Dynomight analyses why both humans and LLMs over-use formatting — bullet points, nested headers, fragmented lists — instead of coherent prose. The central argument is that RLHF optimisation causes AI models to favour heavily structured output because human raters reward it, even when flowing paragraphs would communicate better. Five theories are explored: formatting is genuinely good in some contexts; quality is hard to verify so structure acts as a trust shortcut; formatting aids chain-of-thought blathering; and formatting is a bluff that hides incoherence.
Yann LeCun Raises $1 Billion to Prove LLMs Are a Dead End
Yann LeCun has launched Advanced Machine Intelligence (AMI), a Paris-based startup that raised over $1 billion at a $3.5 billion valuation to build AI systems grounded in physical-world reasoning. Departing Meta last November, LeCun argues that large language models cannot achieve human-level intelligence and that so-called world models are the right path. AMI will target enterprise customers in manufacturing, biomedical, and robotics, with Toyota and Samsung signed as launch partners.
Fargo Police Used Facial Recognition to Jail the Wrong Woman for Five Months
Angela Lipps, a 50-year-old Tennessee grandmother, spent 163 days in jail after Fargo police used facial recognition software to mistakenly identify her as the suspect in a bank fraud case. The investigating detective confirmed the AI match against social media and driver's license photos without calling Lipps or verifying her location. She was held 108 days in Tennessee before being extradited to North Dakota. Bank records showing she was in Tennessee throughout the relevant period led to charges being dismissed on Christmas Eve 2025. She lost her home, car, and dog. The real suspect has not been found.
We Are Building Data Breach Machines and Nobody Cares
A security practitioner at IDEALLOC argues that autonomous AI agents are being shipped into production without the security discipline the technology demands. The core problem isn't any single vulnerability — it's that the agent ecosystem is too fragmented to audit, enterprises are handing these systems dangerous capabilities anyway, and almost nobody at the engineering level seems to think it's urgent.
Sentrial (YC W26) – Catch AI Agent Failures Before Your Users Do
Sentrial is a Y Combinator W26-backed AI agent observability platform designed to detect and surface failures in AI agent pipelines before they impact end users. It targets the growing need for monitoring, reliability, and debugging tooling in production AI agent deployments.
Ensue Network's Autoresearch@home Surfaces on Hacker News, Details Scarce
Ensue Network's Autoresearch@home picked up 68 points on Hacker News this week despite a product page that reveals almost nothing. The @home branding hints at a distributed-computing angle for AI-driven research, but the company hasn't confirmed what the platform actually does.
CNN Explainer Lets You Watch a Neural Network Think, One Layer at a Time
CNN Explainer is a free, browser-based tool from Georgia Tech's Polo Club of Data Science that visualizes a convolutional neural network processing images in real time. Originally presented at IEEE VIS 2020, it walks through convolution, activation, pooling, and flattening with live, interactive graphics — no installation required.