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

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

GPT-5.6 泄露、AlphaProof Nexus 数学突破、Claude 记忆与端侧模型同场升温,AI 竞争正在从模型榜单转向长上下文、可验证推理、设备入口和真实工作流。
svyun的头像-速维云svyun2个月前
608
单卡跑进18万原子世界,AI科研开始接受规模与可信度双重考验-速维云

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

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

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

World Labs连发空间智能论文,叠加AI破解水分子结构、NeuroFlow连接视觉与神经信号、AI随身硬件升温,显示AI正在从内容生成走向空间理解、科学发现和现实交互。
svyun的头像-速维云svyun2个月前
0398
CuspAI材料超级工厂拉上英伟达Meta三星,AI科研开始走向产业流水线-速维云

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

CuspAI 获 4.5 亿美元融资后启动 AI 材料铸造厂,英伟达、Meta、三星等龙头加入,AI for Science 正从科研工作台走向产业研发闭环。
svyun的头像-速维云svyun1个月前
0407
GPT-6 Astra破解数学难题并控制机械臂:AI开始从答题走向发现与行动-速维云

GPT-6 Astra破解数学难题并控制机械臂:AI开始从答题走向发现与行动

GPT-6 Astra参与解决重大数学难题并控制低成本机械臂,因果世界模型与可验证评测同步推进,AI正从生成答案走向发现规律、规划动作并对结果负责。
svyun的头像-速维云svyun25天前
447
DeepSeek低成本证明系统走红后,AI科研竞争开始拼可验证交付-速维云

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

DeepSeek V4-Flash参与形式化数学证明,低成本智能体系统把AI科研、代码复现和机器人落地推向可验证交付。
svyun的头像-速维云svyun2个月前
366