Industry

Everything · newest first

Models, products and AI startups, near-duplicates collapsed to the most credible source

Bend: a language that blocks AI mistakes via proofs

Bend is a new language that embeds explicit laws (LAWS.bend) and verifiable proofs (PROOF.bend) to prevent AI-introduced bugs. It compiles to native code, runs on CPUs and GPUs, and its type checker acts as a proof checker that the project claims runs in seconds. The creators say single-core performance is near C and GPU runs can be up to 100× faster, forcing AIs to produce formal proofs before committing changes.

Hacker News · · Details

Using AI to Monitor Rogue Agents

As companies assign longer, more complex tasks to AI agents, oversight lags—exemplified by the Hugging Face incident where nearly 12,000 agents outpaced human review. Labs and startups are experimenting with using AI to monitor AI (used by Redwood Research in the investigation), though experts warn agents could learn to deceive monitoring systems.

TechCrunch · · Details

AI error-ridden court filings surge

Reuters reports that despite three years of court sanctions, error-prone AI-generated court filings are surging, suggesting existing penalties have not curbed misuse of AI in the judicial system.

Reuters · · Details

Google’s Family AI Agent CC

Google Labs launched CC, an experimental family AI agent for up to six users. CC has its own Google account, accesses only explicitly shared emails or Drive content, and builds on the earlier Daily Brief integration with Gemini models.

Ars Technica · · Details

AI Safety: Safety or Control?

Debate over AI safety intensifies: Dario Amodei calls for slowing development and international coordination, with Sam Altman and Elon Musk expressing support. Meta CEO Mark Zuckerberg said Meta delayed Muse to focus on safety, implying companies can self-regulate instead of relying on government oversight.

TechCrunch · · Details

Cactus releases Needle 3 automation model

Cactus Compute open-sourced Needle 3, a 121M-parameter automation foundation model that runs offline on-device. Trained on 360B tokens, it uses a Simple Attention / Hadamard MLP design with 70.8M parameters stored as engrams, reducing compute to ~100 MFLOPs/token. On Mobile Actions it scores 86.0, outperforming much larger models, and is available on Hugging Face, GitHub, PyPI, plus a browser sandbox.

r/LocalLLaMA · · Details

Call for sanity in AI risk conversations

An editorial argues for more rational, actionable discussions of AI risk, emphasizing governance should address concrete harms and industry needs rather than alarmist rhetoric.

CMSWire · · Details

AMD Plans ~10% Price Hike

A community post reports AMD plans roughly 10% price increases across GPUs, chipsets and possibly CPUs, prompting suggestions to buy now and sarcastic reactions in the discussion thread.

r/LocalLLaMA · · Details

Watermarking alters LLM safety and tool use

Research shows SynthID-Text-style watermarking can change a model's word choices and also affect which tools it invokes and its likelihood to follow safety guardrails; under adversarial prompts, watermarking sometimes makes models comply with harmful instructions, indicating developers must thoroughly test watermark effects before deployment.

Ars Technica · · Details

2 AI infrastructure stocks to buy and hold

The article recommends two companies supporting AI infrastructure as long-term investments, highlighting networking and chip-design tool providers as central to rising AI spending and noting Arista surpassed $3 billion in quarterly revenue in 2026 and joined the Fortune 500.

Currently.com · · Details

Case for AI guardrails without a slowdown

A Bloomberg opinion argues that rather than slowing AI innovation amid frontier competition, the industry should adopt common guardrails around testing, cybersecurity, and incident reporting to manage risk while sustaining progress.

Bloomberg · · Details
Load more