剂泰科技牵手礼来:AI-LNP平台出海,中国AI制药站位生变
剂泰科技与礼来达成AI-LNP递送平台合作,首付款逾千万美元,潜在里程碑达11亿美元。交易不再只卖候选分子,而是输出可持续产出新方案的平台能力。
黄仁勋欧洲行密集喊话:AI监管不能替代产业竞争力
英伟达CEO黄仁勋访欧期间密集发声:欧洲若在AI上过度犹疑、把监管置于产业培育之前,可能错过新一轮技术竞赛。他与德国总理默茨对话,强调监管应聚焦应用层。
AI从“找Bug”走向“写证明”:Claude首次在生产软件跑通大规模形式化验证
Anthropic与Theorem Labs发布报告称,Claude针对123个开源库的239个程序入口生成约1.8亿行Rocq证明代码,修复数百个Bug,并把验证推进到汇编指令层面。这为防守方提供了新思路,但距离扭转攻防局势仍有距离。
被“放养”30小时后,13个AI智能体在虚拟荒岛学会了玩
MIT团队把13个AI智能体放进虚拟荒岛,30小时不设任务。它们自创游戏、纪念丢失的戒指,随后在指定挑战中普遍胜过未经历“玩耍”的同类。
蚂蚁数科发布LingDT-Decision-1.0:决策模型主打多选与按序判断
蚂蚁数科发布决策模型LingDT-Decision-1.0,提供4B与27B版本,主打更低Token消耗和更快响应,并支持原生多选与按序决策,已在客服、风控、金融等场景测试。