|
第二遍才发现//@蚁工厂:足足一分钟//@一个动态类型的幽灵:艹-20260905212135 马少平THU · 16 小时前 |
|
//@金灿荣教授:转发微博-20260905191307 马少平THU · 18 小时前 |
|
转发微博-20260905154655 马少平THU · 22 小时前 |
|
文中说选概率最高的token也不对,其实是按概率采样,采样到的不-20260905134254 马少平THU · 昨天 |
|
经验算,结果是正确的-20260905133652 马少平THU · 昨天 |
|
回复@shijun:如果证明器是验证过的,证明过程就没有问题。/-20260905120444 马少平THU · 昨天 |
|
这里最主要的前提是:1,知道这个定理成立,2,知道这个定理证明过-20260905120051 马少平THU · 昨天 |
|
感觉是把以前证明中跳过的部分补全了,以前为啥跳过?因为那是一个“-20260905112300 马少平THU · 昨天 |
|
先收藏,哪天闲了看//@刘群MT-to-Death:太好看了!大-20260904202506 马少平THU · 昨天 |
|
//@中国摄影师联盟:转发微博-20260904200157 马少平THU · 昨天 |