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]