谷歌研究推进AI代理扎根真实湿实验室：构建自主生物发现的三大技术基石
谷歌研究院发布三项关键技术进展——VERID数字孪生框架、闭环适配体发现系统、靶向表位切除蛋白设计流程，推动AI代理在真实湿实验室中实现可追溯、可验证、自迭代的分子发现闭环。
AI NEWS JOURNAL
全部 AI 动态
保留完整资讯流，用来源、主题和时间找到你关心的消息。
微软发布Magnetar：支持Rust/Go/C的通用零知识虚拟机，基于标准哈希函数实现量子安全证明
微软研究院推出零知识虚拟机Magnetar，首次在单一系统中同步解决零知识证明长期存在的三大瓶颈：生成效率低、开发门槛高、后量子安全性不足。它支持Rust/Go/C等主流语言编写的程序直接编译运行并自动生成可验证证明，平均比现有最快zkVM快10–39倍，证明验证仅需约12毫秒，且安全基础仅为SHA-256/SHA-3等经NIST标准化、已受数十年密码学检验的标准哈希函数，无需可信设置、椭圆曲线或未经充分验证的新颖数学假设。
HiRO-ACEv2:模拟极端天气,分辨率为3公里,成本的一小部分
HiRO-ACEv2:模拟极端天气,分辨率为3公里,成本的一小部分
快速运行, 使用 LFM2.5-24B- A2B 的私人代理设备
快速运行, 使用 LFM2.5-24B- A2B 的私人代理设备
Anthropic 宣布扩大对科学研究的支持
官方宣布向 Genesis Mission 提供三年支持计划，涵盖 Claude、API 额度和研究培训。
本来不存在的模特儿,所以你自己做的
本来不存在的模特儿,所以你自己做的
一个模范家庭,两个黄金层面的成果:为IOI和海事组织提供精益求精的Nemotron
一个模范家庭,两个黄金层面的成果:为IOI和海事组织提供精益求精的Nemotron
边缘多模式开放 d1 决定模型
边缘多模式开放 d1 决定模型
如何跳跃 Trading 用 ChatGPT 缩放四进制研究
Jump Trading使用OpenAI扩展定量研究. 参见持续时间较长的AI工作流程如何将多个数据源与人文审查相结合.
我们对待欧盟文本来源规则的方法
OpenAI如何接近欧盟规则下的文字水标记. 了解水印的应用地点,检测工作如何,以及为什么访问始于研究人员.
Holo4:为通用计算机使用剂提供动力
Holo4:为通用计算机使用剂提供动力
欢迎 RL 环境到中心
欢迎 RL 环境到中心
Jun Kim, OMLX 创建者和维护者, 加入 Hugging Face 支持 MLX 社区
Jun Kim, OMLX 创建者和维护者, 加入 Hugging Face 支持 MLX 社区
符号符 v1: 编码、解码和缩放, 测量
符号符 v1: 编码、解码和缩放, 测量
工人是如何打开新的工作方式的
新的OpenAI经济研究显示,工人在传统角色之外如何使用AI,以及哪些新活动成为其工作的经常性部分.
你的探员AcC任务。 还会再来一次吗?
你的探员AcC任务。 还会再来一次吗?
Fyxer如何建立一个AI的执行助理 人民信任
Fyxer 使用 OpenAI 模型,微调,内存和真实的用户反馈来组织每个用户声音中的收件箱和邮件草稿.
与Gradio Workflow一起重建AUTOMATIC1111
与Gradio Workflow一起重建AUTOMATIC1111
Async GRPO与LORA一起横跨HF Jobs:一个桶,一个代理,没有NCCL
Async GRPO与LORA一起横跨HF Jobs:一个桶,一个代理,没有NCCL