sokrypton：最新 AI 模型编码仍很差，可用全靠终端里迭代试错
yuvalpi · x · 2026-11-12
sokrypton 回应「生物/医药会否重蹈数学覆辙」的提问，认为即使最新 AI 模型在编码上依然很糟，真正让它可用的是接入终端、能不断迭代坏代码直到跑通；数学同理，AI 没有真正解决数学，靠的是大量 agent 并行调用 Lean 形式化验证反复迭代。对生物学的等价物则是让 AI 接入湿实验室来验证假设。
所属事件:AI 能否攻克生物学？研究者：需接入湿实验室(4 条相关)→
「漫话AGI」频道最新
- Anthropic CEO 称十年内治愈癌症阿尔茨海默,被讽「IPO 前的 Theranos」 — AlexTensor · 2026-11-12
- 计算基因组学大牛盛赞新基因调控模型：方法章节是金矿 — anshulkundaje · 2026-11-12
- 复盘年初「AI 精神错乱」热潮：除惊叹流程外没留下什么软件 — andreisavu · 2026-11-12
- AI 落地速度差异的真正变量：能否嵌入工作流的明确环节 — 2C_ornot2C · 2026-11-12
- Yacine：工作大半被 AI 自动化，我的注意力反而更不可或缺 — yacineMTB · 2026-11-12
- 用 transformer 增强人脑可实证检验 AI 意识假说 — kevinnbass · 2026-11-12