5 ms·
Do I miss something? But isnt there the whole code and paper of Kevin Buzzard in the training data of Claude?
by mnewme 12d ago
Do I miss something? But isnt there the whole code and paper of Kevin Buzzard in the training data of Claude?
- sanxiyn 12d agoYes, but Claude formalized a different proof than Buzzard is trying to, so it helps less than you think. (It certainly helps!)