>Gotta be honest, LLMs are still subpar compared to what I do.

Im sorry... what?

You are replying to this:

> Our first formalization of Fermat’s Last Theorem, performed by an unreleased research version of Claude, took 11 days. It relied on a purpose-built harness along with guidance from a human researcher. By contrast, a team of 1,000 Fable 5.2 agents fully formalized the theorem in just 30 hours, with minimal human intervention. Fable 5.2 started from minimal prompts, built its own ways to coordinate, and used no mathematical references, only a list of intermediate theorem statements to score progress. It needed one-third of the action tokens as our first formalization and produced a proof seven times shorter. As can be seen in the figure below, Opus 5.5 (with the same 1,000-agent setup) completed only 26% of the formalization in 18 hours, and barely made any more progress after 30.

HN has become so miserable over the past ~12-24 months because it's a site filled full of highly paid techies living in the deepest pit of denial that has ever existed.

It's all going away. Here's a prediction: HN will effectively die with the software developer.