alt Hacker NewsIt's because anthropic vibemathed it. I forgot the name but some other guy is working on a handwritten version of it and I bet it'll be more than just 1 magnitude faster.
Replies
andrewchambers • yesterday at 10:02 PM
They could probably vibe-optimize it if they cared.
What would happen if they give an equivalent agent swarm the proof and a target to reduce runtime .
➕ show 2 replies
Kevin Buzzard. https://xenaproject.wordpress.com/2026/09/04/flt-anthropic-h..., discussed recently here: https://news.ycombinator.com/item?id=49568667