Hacker News — 2026-07-21#

Top Story#

We’re witnessing a paradigm shift in pure mathematics as AI models are rapidly discovering—and autoformalizing—counterexamples to decades-old conjectures. The community is buzzing over a string of recent breakthroughs where models like ChatGPT Sol and Claude Fable have disproved the Erdős unit distance conjecture, a 60-year-old question by Grothendieck, and the notorious 100-year-old Jacobian Conjecture. The real game-changer isn’t just the AI insight, but that these proofs are being translated into Lean code in real-time, instantly verifying them and sidestepping the usual years-long human peer review process.

Front Page Highlights#

Agent swarms and the new model economics · Cursor Cursor’s team pushed their agent swarm architecture to build SQLite from scratch in Rust, completely unsupervised. By splitting agents into “planners” (frontier models) and “workers” (cheaper, fast models), they bypassed the context-bloat and spiraling costs that usually kill long-running autonomous tasks. The technical write-up is excellent, particularly their custom 1,000-commit-per-second version control system designed specifically to handle agent merge conflicts and “split-brain” code design.

Who’s afraid of Chinese models? · Stratechery Ben Thompson argues that the panic over Chinese open-weight models like Kimi K3 approaching state-of-the-art capabilities is overblown. He frames AI intelligence as a rapidly commoditizing market where margin will be dictated by inference costs, not just capability. The real threat isn’t economic, it’s that U.S. restrictions on using frontier models for cybersecurity are forcing Western defenders to rely on Chinese open-source models for incident response.

Mullvad and Daniel Berntsson’s Failed Cleanup · Mark Writes Mullvad, arguably HN’s most universally recommended VPN, is facing massive backlash after it surfaced that co-founder Daniel Berntsson donated heavily to the Örebro Party, a Swedish political group with fascist and xenophobic platforms. Mullvad’s official response claimed they are a “neutral” company protecting diverse ideas, which predictably poured gasoline on the fire for users who feel they cannot separate tech ethics from the people funding extreme political movements.

Flock Credibility Lost as It Repeatedly Lies to City Councils, Police, & Public · ACLU The ACLU published a scathing teardown of Flock Safety, the pervasive automated license plate reader (ALPR) company, detailing a pattern of lying to government customers. Flock got caught red-handed telling the Oshkosh City Council their system didn’t create vehicle tracking heat maps, only for the city to discover the next day that it absolutely does, prompting a record one-day contract cancellation.

Jellyfin founder Andrew leaves team · Jellyfin Forum Open-source maintainer burnout strikes again as Jellyfin project leader Joshua and core member Anthony announced their departure, right on the heels of founder Andrew’s resignation. The hand-off to the remaining team is amicable, but the farewell post is a stark reminder of the crushing mental toll required to maintain a massive FLOSS project used by millions for free.

A digestion of the Jacobian conjecture counterexample · Terry Tao Following the AI-driven disproof of the Jacobian Conjecture, Fields Medalist Terence Tao breaks down the math behind the degree-seven polynomial counterexample. Tao translates the seemingly miraculous AI output into accessible geometric terms, showing how it uses linear, quadratic, and cubic polynomials to bypass the scaling symmetry that usually prevents such solutions.

Show HN & Launches#

Show HN: A self-running space economy SIM in Rust and Bevy is pure catnip for this crowd: an autonomous, agent-driven solar economy packed into a single native binary with zero dependencies. My USB Drive Has a Hidden Encrypted Vault showcases Phantomdrive, a completely open-source hardware project utilizing a CH569 chip to create a stealthy AES-256 encrypted partition that only unlocks when a specific plaintext password file is edited. Lastly, Show HN: I built a command palette for the terminal – 6.2MB, pure Go, no fzf introduces Decoreba, an ultra-fast, dependency-free terminal overlay with fuzzy search, typo tolerance, and an MCP server for AI agents.

Discussion & Debate#

In NPM’s release cooldown is security theater, the community debates the recent trend of package managers adding 24-hour to 7-day delays on new releases. The author argues that without active SAST scanning, waiting around just ensures everyone is holding out for a “canary” that doesn’t actually exist. Separately, a philosophical piece, Perfection is not over-engineering, struck a chord by defining over-engineering not as making something “too good,” but as flawlessly executing a solution for the wrong problem.