Today on HN, 2 competing visions of AI occupied the front page simultaneously: one celebrating a genuine capability surprise, the other asking what we quietly trade away to get there. Between them, a thread about a mysterious app reinstalling itself on iPhones every morning and a rich discussion about why Alzheimer's research lost a decade to fraud. A full day.

---

The Unexpected Collaborator: AI Does Something Genuinely New

The biggest story today: a 23-year-old with no advanced math training used ChatGPT to crack a problem posed by Paul Erdős — one of the 20th century's most prolific mathematicians — that had gone unsolved for roughly 60 years. The problem involves number theory and "primitive sets" (collections of numbers where none divides another). According to Scientific American, ChatGPT "thought for 80 minutes and 17 seconds" before producing a proof that, while raw and messy, contained a genuinely novel approach.

The community reaction was layered. Commenter userbinator identified the key detail: "The LLM took an entirely different route, using a formula that was well known in related parts of math, but which no one had thought to apply to this type of question." This is the crux — the model didn't out-reason experts, it cross-pollinated. Because it trained on vast mathematical breadth without inheriting the field's cognitive ruts, it tried approaches the specialists hadn't.

But commenter tomlockwood raised the uncomfortable question: "How many other people were using AI on problems like this, and failing?" We celebrate the 1 winner; we don't see the thousands of failed attempts. And commenter debo_ noted the raw ChatGPT output "was actually quite poor" — it required an expert to interpret before it was even usable.

This story found its quieter mirror in a popular thread about using AI coding tools to finish abandoned side projects. Commenter tarr1124 described finally shipping a note-taking app after 3 failed attempts over years; commenter jedberg described a weather visualization tool stalled for 12 years. But commenter cedws offered the counterpoint: "In the time I've had agents I've never abandoned more projects... I don't feel proud to put my name on it." The emotional ownership that makes a project worth finishing may be exactly what vibe-coding (using AI through conversational prompting instead of writing code yourself) bypasses.

---

The Expertise Drain: From Factory Floors to Codebases

2 essays today converged on the same anxiety from different angles, and they're worth reading together.

"The West Forgot How to Make Things, Now It's Forgetting How to Code" builds on the story of Fogbank — a classified U.S. nuclear weapon component that couldn't be recreated in the 2000s because manufacturing knowledge had atrophied. When engineers finally rebuilt it after spending an additional $69 million, the new batch was too pure: the original had contained a critical unintentional impurity no one had documented. The author draws the direct line to software: "build capability, find a cheaper substitute, let the human pipeline atrophy, watch it collapse."

Commenter jdw64 sharpened the analysis beyond AI itself: "The real issue is a management pattern — removing people and organizational slack because they don't generate immediate profit... tacit knowledge stops being transferred." Commenter bsder stole a line for future use: "Efficiency is the reciprocal of resilience." Commenter wg0 predicted a talent pipeline collapse within 5 years, with salaries eventually tripling once the "coding is solved" narrative burns out.

The "Simulacrum of Knowledge Work" post hit the same nerve philosophically. Its argument: we've always judged knowledge work through proxy measures — clean formatting, confident tone, no typos — rather than actual correctness. AI is extraordinary at the proxy measures while being unreliable on substance. Commenter firefoxd framed it sharply: "Everybody's output is someone else's input. When you generate quantity by using an LLM, the other person uses an LLM to parse it... when the very last consumer complains, no one can figure out which part went wrong." Commenter vivid242 landed the gut punch: "We're cargo-culting understanding."

These 2 stories are in dialogue. One asks whether AI is causing the loss; the other suggests the loss was already happening, driven by management incentives that predate AI by decades. The honest answer is probably: both, and they're accelerating each other.

---

Surveillance by Degrees: Brussels and Your iPhone

A pointed essay argued that the EU's mandatory age verification for online content is functioning as a trojan horse for universal digital identity infrastructure — once you must prove you're an adult to access certain sites, a system exists that can, in principle, track everything you access. Commenter jeroenhd pushed back on the "trojan horse" framing: it's not hidden — "it's spelled out in the decision, debates, and legal texts to be the explicit goal." Commenter PunchyHamster made the sharpest distinction: "Digital IDs are fine if you're only requiring them for government communication. The push for age control is a scheme to make that info available for private companies — and that's the trojan horse."

Meanwhile, a thread titled "An app is silently installing itself on my iPhone every day" drew real community alarm. The culprit appears to be Headspace, a meditation app, reinstalling itself daily across multiple users' devices — confirmed by a Reddit thread full of identical reports. The most plausible explanations involve MDM (mobile device management software that employers use to control work phones), iOS family purchase sharing with automatic downloads turned on, or iCloud sync settings behaving unexpectedly. No definitive answer emerged.

The juxtaposition is hard to ignore: the EU debate is about theoretical surveillance infrastructure being built in legislation; the iPhone thread is about an app already claiming space on thousands of phones every morning. Both are about who controls your device, and neither has a tidy resolution.

---

Why Hard Problems Stay Hard

The Alzheimer's thread was one of today's richest. The central question: why, after decades and tens of billions of dollars, do we have almost no effective treatments? Commenter robwwilliams identified the dominant diagnosis: "The major problem has been lock-in of the Abeta 42 peptide fragment as the cause." This "amyloid hypothesis" dominated the field for decades — nearly all funding chased drugs targeting this protein fragment. Commenter readthenotes1 was blunt: "A leading hypothesis pursued by researchers was built on science that now appears to be fraudulent." Commenter tim-tday put it in 8 words: "The science was delayed a decade due to fraud."

Commenter panabee articulated the structural problem: "When a topic has a limited number of experts, those experts become gatekeepers. Gatekeepers necessarily harbor biases — some right, some wrong — about how the field should progress." Commenter jmward01 invoked Max Planck: "Science progresses one funeral at a time." The community seemed to feel this story was about more than Alzheimer's — it was about how institutional momentum can outlast the evidence supporting it.

A geothermal energy story claiming a potential 150 gigawatt breakthrough drew similar scrutiny. Commenter Animats identified the source as Fervo Energy, preparing to IPO, and flagged that its Wikipedia article carries a "reads like a press release" warning. The pattern rhymes with the Alzheimer's thread: when a field has genuine promise, hype doesn't help — it crowds out the honest accounting of what's actually been demonstrated.

---

A USB cheat sheet from 2022 climbed back up the front page and earned 323 points, mostly for commenter floxy's observation: "I don't know what short-distance data communications will be like in 2050, but we know it will be called USB." GnuPG (a widely-used encryption tool) quietly added post-quantum cryptography — encryption designed to resist attacks from future quantum computers — to its mainline code, announced via plain-text email to a mailing list with no Medium post in sight. And the folding bike thread was the warmest discussion of the day: people taking their Bromptons into restaurants, on trains across London, and on 2-week 1,000km tours.

Today's HN felt like a community taking stock of what it has, what it's giving up, and what it can't get back.

TL;DR - ChatGPT solved a 60-year-old math problem by cross-pollinating approaches the field hadn't tried — real, but the raw output still needed expert interpretation to be usable. - 2 essays on deskilling converged: AI is optimizing away the tacit knowledge and apprenticeship that kept expertise alive, with potentially the same consequences as offshoring manufacturing. - The EU's digital ID rollout and a mysterious self-reinstalling iPhone app illustrated surveillance creep from opposite ends of the scale — one legislative, one already on your phone. - The Alzheimer's research discussion exposed how scientific gatekeeping and fraud can delay progress by a decade, a cautionary pattern that echoed in skepticism toward a geothermal "breakthrough."

---