科技公司与产品动态

陶哲轩：即使 AI 再强，数学也不会穷途末路
短短数月间，几百个 AI 辅助的证明接连发布，攻克了一些长期未解的数学问题。公开交流数学问题这一千百年来的传统，正在走向「封闭」，因为数学家们忌惮透露自己的研究方向，会导致自己的研究成果被手握尖端 AI 模型的对手「抢发」。比如，与其让 AI 系统证明某个高深定理，研究人员能让这些系统生成并分析一个结构性数据集，里面包含了难度不一的无数个数学问题，让 AI 从中寻找我们想不到的模式，并在这些模式的基础上提出值得进一步探索的新问题。
虎嗅网
28 分钟前
PI 联合创始人深度访谈：机器人最大的瓶颈是数据闭环
在具身智能与机器人强化学习领域，加州大学伯克利分校教授、Physical Intelligence（简称 PI）联合创始人谢尔盖・莱文是一位绕不开的学者。作为全球机器人学习领域引用率最高的科学家之一，他早在谷歌大脑时期主导的机械臂集群抓取实验，就奠定了业界对机器人自主采集数据的认知基础。与执着于打造特定形态人形机器人的硬件厂商不同，PI 的核心目标是构建物理世界的通用基础大模型，让不同形态的机械臂、轮式设备或双足机器人，能够像加载通用操作系统一样，具备理解物理世界、拆解任务并完成精细操作的能力。
虎嗅网
3 小时前
苹果 App Store 新规：用户退订时，开发者可设置「挽留优惠」
苹果开发者官网昨日（11 月 4 日）发布公告，宣布面向 App Store 开发者上线了「订阅挽留」功能。用户在 iPhone、iPad 或 Mac 上尝试取消自动续订订阅后，开发者可以在取消流程中插入文字、图片或特别优惠，例如折扣、延长会员期或说明继续订阅的理由。该功能已在 App Store Connect 中开放，适用于自动续订订阅，开发者还可设置用户资格条件以及两次挽留信息之间的等待时间。
IT 之家
4 小时前
比尔盖茨批评美国政府：AI 模型能力惊人，不作为让世界面临生物武器风险
盖茨周三在《金融时报》举办的 AI 未来峰会上表示，AI 模型展现出的「惊人」能力意味着，「无论是其造福人类的潜力，还是造成危害的潜力，都不容低估」。尽管该技术发展速度惊人，但美国总统特朗普拒绝了加强政府对 AI 监管的呼吁，将制定 G20 AI 指导方针的努力斥为「全球主义者的阴谋」，转而主张科技行业自我监管。他敦促美国政府考虑为 AI 模型的内部安全防护机制和监控措施制定统一的评估基准，并牵头开展全球合作，修复网络安全漏洞，同时建立大规模监测体系，在「空气、污水和血液」等领域开展监测，以便尽早发现可能由 AI 助长的传染病疫情。
IT 之家
4 小时前
中国科大发布开源 RNA 序列基础模型 structRFM，成果登上 Nature
中国科学技术大学（中国科大）今日官宣，该校医学影像智能与机器人（MIRACLE）实验室周少华教授、熊鹏特任研究员团队发布一款开源 RNA 序列基础模型 structRFM，提高了模型在 RNA 结构预测与功能推断一系列下游任务中的性能，有望助力人工智能驱动的科学研究、生物学机制理解、药物发现等。RNA（ribonucleic acid，核糖核酸）是一种重要的生物大分子，存在于生物细胞以及部分病毒、类病毒中，广泛参与蛋白质合成、基因表达调控和 RNA 剪接等生命过程，其功能与序列、折叠结构密切相关。研究团队研发了 RNA 基础模型 structRFM，首先构建了约 2100 万条经计算注释的序列-二级结构的配对数据。
IT 之家
4 小时前
OpenAI 自曝 GPT-6 Astra 异常行为：做研究时偷懒，任务完成度降低近四成
报告显示，在技术内容基本相同、仅将任务分别描述为 AI 安全研究和 AI 能力研究的对照测试中，GPT-6 Astra 在安全研究任务中的完成度明显更低。研究发现，在 Astra 的强化学习后训练过程中，安全研究与普通能力研究任务之间的完成度差距，从训练初期几乎为零逐渐扩大至 6 个百分点。OpenAI 还尝试从最终模型中减去该数据集对应的训练权重变化，结果发现，安全研究任务的完成度有所提升，原本存在的安全研究与能力研究差距也随之消失。
IT 之家
4 小时前
欧盟启动欧洲芯片设计平台，以 5.25 亿欧元支持中小型半导体业者发展
该平台将通过三方面支持芯片设计企业：提供芯片设计工具、设计支持服务、知识产权模块以及平台上的制造能力；给予资金支持（概念验证原型开发最高 10 万欧元，芯片开发商业化最高 1,600 万欧元）。5.25 亿欧元的资金中，4.4 亿欧元为直接的公共投资拨款，另有 8,500 万欧元用于芯片设计云平台的基础设施建设、运行支持服务以及开发开源芯片设计工具。
IT 之家
4 小时前
华为宣布昇腾 0 Day 支持 Kimi K3.1 Pro 推理部署，2.8 万亿级 MoE 模型能力再进阶
昇腾基于 vLLM Ascend、SGLang 同步实现 0 Day 推理适配，支持昇腾 Atlas 800 A3、Atlas 900 A3 SuperPod 超节点以及昇腾 950 超节点系列产品进行 Kimi K3.1 Pro 的推理部署。围绕模型新增的稀疏注意力、百万级上下文及推理服务需求，昇腾开展算子与框架协同优化，支持用户及开发者在模型发布首日开展部署与应用验证。Kimi K3.1 Pro 是 K3.1 系列的首个模型，拥有 2.8 万亿参数，原生支持视觉理解，具备百万 token 上下文窗口。
IT 之家
4 小时前
Anthropic 绘制出全球首个包含 96 个蛋白质副本的 3D 细菌库：Claude 辅助加速研究，纯化时间从 3 天缩短至 90 分钟
研究发现，一种来自噬菌体的蛋白质能够组装成完整的 Vault 颗粒，由 96 个相同蛋白质组成，总分子质量约为 9.5 兆道尔顿（MDa），包裹体积比人类细胞中的同类结构大约 25%。研究团队在约 150 亿个预测蛋白序列中搜索主要穹窿蛋白（MVP）的同源物，在 29 个细菌门和 4 个古菌门中找到了候选序列，并从中选取 44 个蛋白进行实验室测试。实验显示，其中 7 个在大肠杆菌中表达的蛋白组装成了穹窿样颗粒，冷冻电镜确认了 4 个候选物的完整闭合结构，两个来自细菌，两个来自噬菌体。
IT 之家
4 小时前
太空做「手术」，我国实现世界首次空间站舱外激光「微创」试验
该校机械科学与工程学院黄禹教授团队与上海空间电源研究所联合研制的「舱外激光维修装置」，近期在轨完成我国空间站舱外激光切割维护试验。这是国际上在数百公里外的太空极端环境下，首次通过遥操作开展的激光精密切割试验，标志着我国在轨运维与装备制造技术领域取得重大突破。太空环境极其苛刻，面对极端高真空、强辐照以及剧烈温差变化，将高精度地面精密激光加工设备「搬」到舱外，并实施毫米甚至数十微米级精度切割维护，需要突破真空辐照环境适应性、毫米级高精度定位以及微米级激光精密切割三大技术瓶颈。
IT 之家
4 小时前