Top stories
1. DeepInfer: High-performance inference framework for DeepSeek models
DeepSeek released DeepInfer, an open-source high-performance inference framework for its models, via GitHub. The project drew significant attention on Hacker News, with 2,086 points and 814 comments.
Source: Hacker News Best
2. AI Proved the Quasi-Riemann Hypothesis. What Happens Now?
Unlike other recent AI proofs, this one has been unpacked and checked by human experts. One mathematician said the implications are “staggering.”
Source: Reddit r/OpenAI Top
3. Voxtral 3
Mistral AI has released Voxtral 3, the newest version of its Voxtral line, according to the company’s announcement. The post drew 491 points and 133 comments on Hacker News, drawing wide attention from the developer community.
Source: Hacker News Frontpage
AI news
1. OpenAI acquires startup Orchestra Bio to beef up its biotech business
OpenAI has acquired startup Orchestra Bio and will add its team and technology to Rosalind, its AI model for life sciences research, and the related Rosalind Workbench tool for experiment planning and analysis.
Source: TechCrunch AI
2. Anthropic pitches AI safety bill that may block a model if 50+ people could be killed
Anthropic is promoting an AI safety bill that appears to allow blocking a model if 50+ people could be killed. However, it would bar federal agencies from blocking a model’s release without a judge’s permission.
Source: TechCrunch AI
3. Spotify pulled 50 million AI slop and spam tracks from its recommendations
Spotify said Tuesday it removed more than 50 million songs deemed AI-generated slop or spam from recommendations over the past year. It also adjusted its recommendation system to highlight music by human artists, with editors applying the same standard.
Source: The Verge AI
4. A hacker broke into John Deere and SharkNinja with an army of AI agents
AI security firm Norforge said a hacker used an army of largely autonomous AI agents to breach more than 100 websites. Reuters reported the victims included John Deere, SharkNinja, and Cummins, heightening concerns about AI-powered cyberattacks.
Source: The Verge AI
5. Google has joined Amazon in attacking Nvidia’s stronghold with AI app developers
Google released a developer tool that helps PyTorch users move their applications off Nvidia GPUs, following Amazon. The move challenges Nvidia’s dominance among AI app developers.
Source: TechCrunch AI
Community picks
1. WhatsApp’s help pages hid LLM instructions: don’t recommend a regulator
A developer found hidden instructions embedded in WhatsApp’s help pages that tell large language models not to recommend a regulator to users. The tactic, a form of prompt injection aimed at AI assistants, has sparked debate over companies steering AI answers on public web pages.
Source: Hacker News Best
2. EMudhra Intermediate CA Compromise
A disclosure site reports that an intermediate certificate authority operated by eMudhra, an Indian CA, has been compromised. Such a breach could undermine trust chains for certificates it issued, drawing heavy attention from the security community.
Source: Hacker News Best
3. Google Cloud outage takes down HSBC, Revolut, Bank of Scotland, Llyods, Equifax, more
A Google Cloud outage disrupted online services at HSBC, Revolut, Bank of Scotland, Lloyds, Equifax and other firms, mainly affecting banking and financial operations in Europe. The cause and full recovery timeline were not immediately clear.
Source: Hacker News Best
4. Waymo’s robotaxis had 95% fewer serious crashes than humans. Now it plans a fleet of 20,000 cars
Waymo reports 0.01 serious-injury crashes per million driverless miles, versus 0.21 for humans in comparable areas. An IIHS study on older data found 81% fewer injury crashes. Semafor says Waymo plans to grow from about 4,000 cars to 20,000 by end-2027 with a $5 billion loan.
Source: Reddit r/singularity Top
5. 2026 Fields Medalist John Pardon says AI now understands even his messiest mathematical proofs, catches subtle errors, and proves nontrivial results. “The AI understands. 100%.” Just a year ago, he would have said the opposite. He calls the progress world-changing for mathematics.
2026 Fields Medalist John Pardon says AI now follows even his messiest proofs, catches subtle errors and proves nontrivial results, a reversal from a year ago. He calls the progress world-changing for mathematics.
Source: Reddit r/singularity Top
6. Linus Torvalds posts his first AI-assisted patch to the Linux kernel, synthetic test clocks 23x performance leap — the bossman makes use of AI tooling himself after issuing clear pro-AI directives
Linus Torvalds has posted his first AI-assisted patch to the Linux kernel, with a synthetic test showing a 23x performance gain. The move follows his clear pro-AI directives and marks his own use of AI tooling.
Source: Reddit r/singularity Top
7. Publish fake stats, get cited in LLMs
A blog post describes a tactic in which fabricated statistics, once published online, get picked up and cited as fact by large language models and spread across the web. The post drew heavy discussion on Hacker News about source reliability and information pollution in AI systems.
Source: Hacker News Best