Top HN Daily Digest · Tue, Sep 8, 2026

Mathematician Tristan Buckmaster announces AI-assisted finite-time blowup results for forced incompressible Euler, Boussinesq and porous-media equations, while alleging OpenAI claimed a separate forced Navier–Stokes proof and pressured him over publication and authorship. [src]

OpenAI says an internal AI system produced and formally verified in Lean a proof that three-dimensional Navier–Stokes flows can develop finite-time singularities, claiming to resolve the Millennium Prize problem while not seeking the prize. [src]

Mistral has raised €3 billion in a Series D led by Samsung Electronics, valuing the company at more than €21 billion to expand its open-weight AI research, computing infrastructure, products and international commercial operations. [src]

Meta introduced Muse, a personal AI agent that browses the web, connects to apps, completes multi-step tasks, monitors goals and acts in the background while requiring approval for sensitive actions and protecting users’ credentials and data. [src]

Visa and Mastercard are card networks—not banks or card issuers—that connect merchants, acquirers, cardholders, and issuing banks by routing transactions, settling funds, setting fees and rules, and managing disputes. [src]

Jellyfin 12.0 delivers database and browsing performance improvements, episode alternate versions, expanded books and comics support, a default Modern interface, security fixes, and updated media handling, but requires backups, a full post-upgrade scan, compatible plugins, and migration from 10.10.7 or 10.11.x. [src]

LibreOffice 26.8 surpassed one million downloads in its first week, suggesting strong interest in its deliberate lack of built-in generative AI, which The Document Foundation says reflects privacy principles including user control, no unauthorized data transfer, and no telemetry. [src]

Gamers Nexus and security researchers found that LG smart TVs can scan nearby Wi-Fi devices, collect viewing data, and record microphone audio—even while offline or on standby—with stored information uploaded once reconnected. [src]

Terence Tao discusses how AI may be non-renewably mining the supply of good open mathematics problems [src]

The open-source “i-have-adhd” skill configures coding agents to provide concise, action-first responses through rules such as numbered steps, limited lists, visible progress, and concrete next actions. [src]

OpenAI introduced ChatGPT Images 2.5, offering sharper, faster image generation, more precise multi-turn editing, new Sketch and template features, and two API models for creative workflows. [src]

Google has effectively restricted most new-domain wikis to appearing only through their main pages in search results since March 2024, prompting Weird Gloop to launch new wikis on established-domain subdomains as a workaround. [src]

Among 44,143 European companies using a detected CDN, 89.6% rely on Cloudflare, highlighting significant market concentration and shared outage risk, though the dataset skews toward small and midsized firms in eight countries. [src]

AlphaGenome Atlas is a high-resolution map of human DNA developed by Google DeepMind. [src]

404 Media reports that secretive Border Patrol predictive-policing units analyze Americans’ financial and other data, then provide intelligence to local police who stop and search people not suspected of specific crimes. [src]

Blackmagic Design has released DaVinci Resolve 21.1, a free major update adding AI assistant integration, broader camera and color support, enhanced media and multicam workflows, over 25 Krokodove Fusion tools, expanded collaboration features, and performance improvements. [src]

A researcher factored obsolete 512-bit RSA keys from 1990s certificate authorities, reconstructed their private keys, and used them to issue certificates that work in Netscape 4.51 but not modern browsers. [src]

The author warns that cheap, unrestricted open-weight AI models could soon automate cyberattacks, leaving roughly a year to use frontier models to identify vulnerabilities and urgently improve patching, deployment, infrastructure security, and regulatory oversight. [src]

A developer turned a programmable Xteink X3 e-ink reader into a driverless, Wi-Fi-enabled printer by implementing IPP and streaming dithered pages directly to its display despite only 400 KB of RAM. [src]

Paramount allegedly used the newly formed, donor-undisclosed nonprofit Neighbors for Strong Communities to text Californians urging pressure on Attorney General Rob Bonta to drop his antitrust lawsuit against the proposed Warner Bros. merger. [src]