← Back to context Comment by amstan 2 days ago Are you sure the models did not have your exact solved proof already in their dataset? 1 comment amstan Reply dash2 2 days ago No, it's very likely they did. But to have memorized one proof for every academic paper would be very demanding on parameters, I think.
dash2 2 days ago No, it's very likely they did. But to have memorized one proof for every academic paper would be very demanding on parameters, I think.
No, it's very likely they did. But to have memorized one proof for every academic paper would be very demanding on parameters, I think.