AI制药公司Formation Bio自募6亿美元基金，专门收购候选药物推进临床试验
相关推荐
Jevgrep让Coding Agent少自己找代码：SWE-bench主模型成本降29%
动察 Beating AI 快讯，开发者 David 基于 Jev 开源了一个专门给 Coding Agent 找代码的研究工具 Jevgrep。 用户只要问一句「登录校验写在哪里」，它就会用 TypeSafe 的决策模型 Jev 逐层搜索代码库，找出相关文件和源码片段，再交给 Claude Code、Codex 等 Agent 继续修改和测试。 它主要解决 Coding Agent 很费 token 的「找代码」环节。Jevgrep 不会先把整个仓库塞给模型，也不是只做一次语义搜索。它会先判断哪些目录值得继续找，再检查相关文件和代码声明，最后返回源码片段、行号和后续阅读线索。仓库还提供了 Skill，让 Agent 知道什么时候调用 `jg` 收集上下文。 最新 SWE-bench 实验用了 10 个 Python 任务。使用 Jevgrep 和不用 Jevgrep 都完成了 8 个，但 GPT-5.6 Sol 的总成本从 7.62 美元降到 5.44 美元，减少 28.63%。作者最初在 X 上写的是 40%，仓库随后更新实验结果，目前已经改成「约 30%」。 不过，这个数字只统计 Sol 的费用，没有把 Jev 算进去。实验日志中能够确认的 Jev 调用费用已经至少有 1.57 美元，部分调用缺少完整计费记录，实际总额未知。此外，这组实验只有 10 个任务，而且每题只跑了一次。
25位菲尔兹奖得主集体炮轰AI公司：别把数学难题当Benchmark
动察 Beating AI 快讯，陶哲轩、邓煜、Peter Scholze 等 25 位菲尔兹奖得主联名发布声明，称 AI 公司正把解决重大数学难题当成 benchmark，已经开始伤害数学研究。声明承认，大模型最近几个月进步很快，已经能解决多个领域的重要未解问题，但数学更看重由此产生的新概念、新方法和理解。 他们最不满的是 AI 公司抢着公布结果。声明称，一些解法还没来得及整理完整证明、提炼新方法、补齐前人引用，就已经对外宣布，由此带来严重的署名和抄袭问题。没有数学家继续消化和整理这些结果，AI 找到的想法也很难真正进入数学体系。 声明没有点名 OpenAI，但《经济学人》的配套报道直接把标题写成「顶尖数学家对 OpenAI 的做法感到愤怒」。几天前，OpenAI 刚因 Navier-Stokes 证明陷入署名和未公开研究争议。陶哲轩称，这份声明是 25 位菲尔兹奖得主过去一周讨论后快速形成的，因为他们认为情况已经足够紧急。
Terminal-Bench 4.0：GLM-5.3冲到第三，超过GPT-5.6 Sol
动察 Beating AI 快讯，Terminal-Bench 发布 4.0，重新校准 Agent 执行任务时的时间、CPU 和内存，并修复 19 个任务、移除 8 个存在饱和、拒答、公开解法或质量问题的任务。所有任务的最长执行时间统一到 8 小时，主要是减少超时和环境问题对成绩的干扰。 最新榜单里，Opus 5 + Claude Code 以 51.8% 排第一，Fable 5 以 44.5% 第二。GLM-5.3 + Claude Code 拿到 41.8%，冲到第三，超过 GPT-5.6 Sol + Codex 的 37.3%。前三名里，GLM-5.3 是唯一不是 Anthropic 的模型。 在 Terminal-Bench 3.0 中，GLM-5.3 还是 32.4% 排第四，落后 GPT-5.6 Sol 的 34.6%；到了 4.0，GLM-5.3 升到第三，反过来领先 Sol 4.5 个百分点。
AI离「自己改进自己」还有多远？Scale推出RSI Bench
动察 Beating AI 快讯，Scale AI 推出 RSI Bench，专门测试 AI 能不能像研究员一样，自己做 AI 研发。 AI 会直接拿到论文、代码和算力，然后自己想实验、跑训练、改方法，再看能不能把原来的 AI 做得更好。 首批测试用了 Claude Opus 5 和 GPT-5.6 Sol。两款模型已经能自己跑实验、调参数、迭代方案，部分任务确实能超过给定基线。 但现在的 AI 还不太会「发明」。让它们挑战最新研究时，大多数尝试仍停留在论文已有方法和调参数上，很少提出真正的新思路。
Allium披露近期遭未经授权访问，核心平台已恢复上线
PANews 10月29日消息，Allium CEO兼联合创始人Ethan Chan发文称，Allium于10月25日发现一起安全事件，涉及未经授权访问其部分系统。Allium立即采取措施限制访问并保护系统，已直接通知受影响客户，并继续提供更新和支持。 Allium已聘请独立网络安全公司协助响应和调查，重点加强认证和监控等安全控制。调查完成后，其计划分享调查结果摘要和应对措施。Allium称，其核心平台，包括Allium App、Explorer和Explorer APIs已恢复上线，部分功能在恢复期间仍暂时不可用，最新可用性和更新发布在状态页面。
Robinhood 生态代币普涨，AI、BONER、ORBIO 近 24 小时涨超 30%
Foresight News 消息，据 GMGN 行情，Robinhood 代币多数拉升，其中：PONS 近 24 小时涨 23.14%，当前市值约为 1.98 亿美元；CASHCAT 近 24 小时涨 13.83%，当前市值约为 1.02 亿美元；Artificial Inu（AI）近 24 小时涨 32.32%，当前市值约为 6960 万美元；ORBIO 近 24 小时涨 33.81%，当前市值约为 3150 万美元；BONER 近 24 小时涨 48.09%，当前市值约为 1970 万美元。 Foresight News 提醒，Meme 币交易波动巨大，无实际价值或用例，投资者需注意风险。