Hacker News

Favorites Setup
☰
Comment by yellow_lead | original | What my dad taught me about AI coding in the 90s
[−]yellow_lead · 2026-08-30 Sun 15:46 UTC · link
> Two mathematicians at Anthropic studied and validated Claude’s paper, and produced an informal note for experts stating Claude’s proof concisely.

No, experts are still needed

[−]a2ff6eeb0 · 2026-08-30 Sun 15:55 UTC · link
Yes, that's why we're on the border: We're not yet confident enough to let the AI do its thing.

You may notice that humans only checked the work and explained. You may also see that that the person prompting the AI, Jared of bun.js fame, is not a noted expert in mathematics.