AI科研 第3页
单卡跑进18万原子世界,AI科研开始接受规模与可信度双重考验-速维云

单卡跑进18万原子世界,AI科研开始接受规模与可信度双重考验

一张141GB显存的H20,现在已经能够承载18万原子规模的机器学习分子模拟。至知创新研究院UBio团队发布并开源UBio-MolFM v1.5,在真实生理环境下以接近量子化学的精度处理生物大分子,同时把推理...
svyun的头像-速维云svyun昨天
368
李飞飞World Labs连发三篇论文后,AI正在从生成内容走向理解世界-速维云

李飞飞World Labs连发三篇论文后,AI正在从生成内容走向理解世界

World Labs连发空间智能论文,叠加AI破解水分子结构、NeuroFlow连接视觉与神经信号、AI随身硬件升温,显示AI正在从内容生成走向空间理解、科学发现和现实交互。
svyun的头像-速维云svyun40天前
0348
GPT-5.6泄露与AlphaProof突破同场出现,AI竞争正在进入长上下文和可验证推理阶段-速维云

GPT-5.6泄露与AlphaProof突破同场出现,AI竞争正在进入长上下文和可验证推理阶段

GPT-5.6 泄露、AlphaProof Nexus 数学突破、Claude 记忆与端侧模型同场升温,AI 竞争正在从模型榜单转向长上下文、可验证推理、设备入口和真实工作流。
svyun的头像-速维云svyun40天前
538
CuspAI材料超级工厂拉上英伟达Meta三星,AI科研开始走向产业流水线-速维云

CuspAI材料超级工厂拉上英伟达Meta三星,AI科研开始走向产业流水线

CuspAI 获 4.5 亿美元融资后启动 AI 材料铸造厂,英伟达、Meta、三星等龙头加入,AI for Science 正从科研工作台走向产业研发闭环。
svyun的头像-速维云svyun8天前
0357
DeepSeek低成本证明系统走红后,AI科研竞争开始拼可验证交付-速维云

DeepSeek低成本证明系统走红后,AI科研竞争开始拼可验证交付

DeepSeek V4-Flash参与形式化数学证明,低成本智能体系统把AI科研、代码复现和机器人落地推向可验证交付。
svyun的头像-速维云svyun40天前
336
Astra突破数学开放问题后,AI科研开始进入可验证时代-速维云

Astra突破数学开放问题后,AI科研开始进入可验证时代

OpenAI Astra 被曝在数学开放问题上取得突破,形式化验证、科研 Agent 与企业应用共同说明,AI 竞争正在从单点能力展示走向可验证的复杂任务系统。
svyun的头像-速维云svyun26天前
0305