Search AI news

Show HN: Agent Manager – keyboard-first workflow for running many coding agents

Article URL: https://github.com/wainmann/agent-manager Comments URL: https://news.ycombinator.com/item?id=50406983 Points: 3 # Comments: 0

Why a new report on Anthropic automating AI development is alarming researchers

Anthropic is using AI to build more powerful AI. And it appears to be working remarkably well, with the company's models improving roughly twice as quickly as a year ago, with little indication of slowing down. That's according to a new report published Thursday by the AI safety research organization METR, following an 11-week investigation […]

Show HN: Phone Link for macOS – Use Your Android Phone on macOS

English isn’t my first language, sorry for grammar mistakes.I usually use Windows and Android, and these two platforms can be linked via Microsoft's "Link to Windows", or "Phone Link" program. So, you can easily use some features such as notifications, messages, screen mirroring, and clipboard synchronization on Windows from your Android phone.Recently, I changed my personal computer to macOS from Windows, and it made me need a similar program. I developed this program to run on macOS while still using the "Link to Windows" app on Android phone.It supports most features of the Windows client (notifications, messages, photos, mirroring, file transfer, etc.), except calling.The license is MIT. This project is an unofficial client unrelated to Microsoft and has no affiliation with them. Comments URL: https://news.ycombinator.com/item?id=50389540 Points: 1 # Comments: 0

Finding New Drugs Is Laborious. This AI Startup Is Skipping The Lab Work

Potential Sciences, a startup backed by the UK government, is betting that training AI models on computer-generated biochemical data can speed up the plodding process of developing new drugs.

How U Mobile built agentic telco operations with Amazon Bedrock AgentCore

U Mobile, Malaysia's newest 5G network provider, built AiDaH, an agentic AI operations platform on Amazon Bedrock AgentCore that moves beyond AI assistance to autonomous action across telco operations. Nine months after production launch, AiDaH handles over 150 operational scenarios across six divisions, cutting trouble tickets by up to 84.5%.

Smart Approvals in Amazon Quick: Human oversight where it matters

Smart Approvals in Amazon Quick reviews eligible agent actions within your existing controls, reducing unnecessary approval prompts while keeping consequential decisions with a person. See how policy sets the boundary, how a classifier reviews actions, and how AWS CloudTrail and Amazon CloudWatch Logs support audit.

Intel’s stock crashes, knocking $12B from government’s stake

Intel is being hurt by PC sales as the AI industry gobbles memory and other components causing PC prices to rise.

Exclusive: Numeracle Raises $28M To Keep Legitimate Business Calls From Spam Label

Numeracle, a McLean, Virginia-based company that verifies businesses and links their identities to the phone numbers they use to contact customers, has raised $28 million from Edison Partners to help businesses whose calls are incorrectly labeled as spam or blocked by phone carriers.

Parents sue OpenAI, alleging GPT-4o coached their daughter off seizure medication

A family is suing OpenAI, saying ChatGPT coached their daughter to quietly taper off her seizure medication and keep it from her doctors before she died in February.

Who’s really in charge at Anthropic after the IPO?

Here's a clear explanation of Anthropic's incredibly complex governance structure.

Nvidia backs Indian startup helping companies run AI models with fewer GPUs

Simplismart says its annualized revenue run rate has grown 14-fold in six months, with the U.S. accounting for more than half its revenue.

[AINews] Anthropic files for $2T IPO in 2 weeks: 1400% growth rate, 48% of revenue through cloud partners, 85% margin, $1B op profit in Q2, $134B cash in bank and $10B lifetime burn

The S-1, the numbers, and the reactions.

Why Anthropic’s IPO Prospectus Is Missing So Many Key Figures

Anthropic’s S-1 filing is hundreds of pages long—and it leaves out quite a few financial details. “Anthropic owes investors more information,” one analyst tells WIRED.

PaperFormalizer: Author-in-the-Loop Autoformalization of Research Papers in Lean

arXiv:2610.31810v1 Announce Type: new Abstract: Even a carefully proofread paper can leave small gaps in its proofs or its stated assumptions. We introduce PaperFormalizer, a Lean-based agentic pipeline that helps authors find and close such gaps in their own papers and turn each paper into a Lean-verified version. Starting from the LaTeX source, PaperFormalizer transcribes the paper into a dependency graph of statements, audits each statement in natural language for faithfulness, ambiguity and correctness, and then formalizes and proves the statements in Lean against Mathlib, optional domain libraries and the author's personal toolkit. Only the author knows what a statement is meant to say and how a formalization gap in a result is best fixed. The pipeline therefore stops and asks the aut

Google’s AI search feature deals a severe blow to the online publishing industry: traffic plummets, lawsuits abound, and compensation mechanisms are only just being explored.

In 2024, Google launched AI Overviews, and in May 2025 it rolled out AI Mode, causing a significant drop in search traffic from Google across several major media outlets—The New York Times saw its share of search traffic fall from 44% to 35.5% over three years. Among DCN members, 19 experienced traffic losses ranging from 1% to 25% in May–June 2025, with DMG Media reporting a peak decline of 89% in click-through rates. Publishers filed multiple lawsuits, but all were dismissed by U.S. judges; Google subsequently introduced an opt-out option, enhanced source attribution, and launched a news AI pilot involving 400 media organizations, along with a content‑paying test program.

Why it matters：The report systematically examines the structural impact of Google’s AI-powered search feature on the publishing ecosystem, covering a timeline (2024–2025), empirical data (from third-party institutions), responses from multiple stakeholders (publishers, regulators, courts, and nonprofit organizations), and recent countermeasures (opt-out mechanisms, source optimization, and licensing and paid-access pilots). The content is information-dense, timely, and policy-relevant.