sokrypton：最新 AI 模型编码仍很差，可用全靠终端里迭代试错

sokrypton认为，最新 AI 模型在编码上表现依然很差，真正使其可用的是接入终端，反复迭代并调试代码直至运行成功。数学领域可借助大量 agent 并行调用 Lean 形式化验证，生物学则可让 AI 接入湿实验室验证假设。