Anthropic files S-1 for IPO & OpenAI claims AI-generated scientific breakthroughs - Hacker News (Oct 27, 2026)

An AI system may have just knocked down one of the load-bearing assumptions of theoretical computer science, and its maker says it wants no credit for it. We'll get to that in a moment. Welcome to The Automated Daily, hacker news edition. The podcast created by generative AI. I'm TrendTeller, and today is October 27th, 2026. On today's list: Anthropic's IPO paperwork, AI-generated proofs looking for human referees, solar power quietly passing nuclear, and a CD player app from 1992 that still runs on Windows 11.

Anthropic files S-1 for IPO

First, an update on Anthropic. The company has now filed a public S-1 registration statement, the formal start of its initial public offering. It plans to list on Nasdaq under the ticker ANT. The prospectus spells out an unusual governance setup. A Long-Term Benefit Trust holds special Class T shares that carry no economic rights, yet they let the trust appoint a majority of the board. Founders keep extra voting power through a separate Class F structure. The risk section is also notable. Alongside the usual business warnings, Anthropic says advanced AI could become difficult for the company itself to evaluate and control. That is an unusual thing to tell prospective shareholders, and it shows how the company is trying to balance fast growth with public-benefit oversight.

OpenAI claims AI-generated scientific breakthroughs

Now, the story from the top of the show. OpenAI says it is changing how it releases major research produced by its AI systems. It reports three results. The first is a mathematics proof related to the local smoothing and Kakeya conjectures. The second is a refutation of the Exponential Time Hypothesis in computer science. The third is an existence proof for certain quantum field theories connected to the Standard Model. OpenAI calls these outputs raw research data that still need scientific interpretation. The math result went out publicly with a plain-language writeup and a machine-checked proof in Lean. The computer science and physics results are being handled by independent academic working groups. OpenAI says it will take no academic credit, will credit the collaborators, and will fund efforts to help researchers build on the work. A paper making the Exponential Time Hypothesis claim has also surfaced, together with its Lean formalization. It describes a deterministic algorithm that counts the solutions to a classic family of logic problems in less than exponential time, using only a modest amount of memory. This hypothesis is the baseline that many hardness results and algorithmic lower bounds rest on. If the claim survives scrutiny, a large body of theoretical work would need revisiting. If it doesn't, we will learn a lot about how to vet machine-generated proofs. Either way, verification is now the central question.

Exponential Time Hypothesis claimed refuted

On to web publishing. DigitalOcean has sold CSS-Tricks back into independent hands. Geoff Graham, a longtime contributor, is taking it over as his full-time job with a small team, four years after DigitalOcean bought the site from founder Chris Coyier. New articles will keep coming, though probably at a slower pace. The guest writing program and the newsletter are returning, and Graham wants the site to be friendlier to beginners. Funding will come from ads, memberships, a shop, and eventually courses. It is a small but welcome sign that community-run publishing still has a path forward.

CSS-Tricks returns to independence

Staying with front-end work, one developer makes the case that websites should print well. When they printed their own site, the result was oversized, ugly, and hard to read in black and white. A set of print-specific CSS rules fixed it: hiding page clutter, adjusting type, and making links and code blocks readable on paper. The author admits it took more effort than expected, but calls it a small kindness to readers who still like to mark up pages with a pen.

Oldest app still running on Windows 11

Here's a nice bit of software archaeology. One researcher went looking for the oldest graphical app that runs on Windows 11 with no emulation at all. A FreeCell build from February 1993 still launches and plays fine. Digging through early Windows NT builds, the author found that many older programs crash because they used draft executable formats or outdated conventions. The oldest survivor is the CD Player app from November 1992. It still works because a system library it depends on still ships with Windows. With emulators, you can even run Reversi from Windows 1.01, though the author fairly calls that cheating. It is a good reminder of how far Microsoft's compatibility promise really reaches.

Solar power overtakes nuclear globally

Energy next. Solar power is now overtaking nuclear worldwide and is expected to supply about a tenth of global electricity in 2026. A decade ago it was a marginal source, and forecasters have underestimated it again and again. Huge manufacturing scale, mostly in China, drove panel prices down. Today solar is the cheapest new power in many markets, and adoption is surging in places like India, Pakistan, and Australia. Batteries are extending solar into the evening, with California a leading example. The bottleneck now is less the panels and more whether grids, storage, and institutions can keep pace.

Designing websites that print well

Next, a history lesson with a modern edge. In 1662, Blaise Pascal launched a horse-carriage service in Paris built around fixed routes and predictable frequencies. The article argues this was essentially the first land-based public transit network. It used radial and cross-town routes that planners still rely on today. It was cheap, popular, and brought different social classes into the same carriages. The author's larger point is that shared, fixed-route transit solves a basic problem of geometry in crowded cities, something hype about driverless cars tends to forget.

Pascal's 1662 Paris transit network

Finally, for Python tooling fans, Microsoft has documented the Type Server Protocol. It is a standard way for editors and tools to ask a dedicated type server about types and imports. It builds on familiar Language Server Protocol conventions and allows extra read-only connections so requests can run in parallel. It's still pre-1.0, so breaking changes are possible, but it hints at more modular type checking across Python editors.

That's the rundown for October 27th, 2026: an IPO filing with safety warnings, AI-generated proofs awaiting human judgment, cheap sunshine, and a Windows app older than many of its users. Links to all stories can be found in the episode notes. I'm TrendTeller. Thanks for listening to The Automated Daily, hacker news edition, and see you tomorrow.

Anthropic files S-1 for IPO & OpenAI claims AI-generated scientific breakthroughs - Hacker News (Oct 27, 2026)

Our Sponsors

Today's Hacker News Topics