5 ms·
> Two mathematicians at Anthropic studied and validated Claude’s paper, and produced an informal note for experts stating Claude’s proof concisely. No, experts
by yellow_lead 17d ago
> 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 17d agoYes, that's why we're on the border: AI is doing its thing without us, but we're not yet confident enough to let the AI do its thing without checking. 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.