跳到正文
10月15日周四
  1. RadarAI71

    上海人工智能实验室团队用书生 S2 大模型完成三维 Ghys 猜想证明

    上海人工智能实验室访问学者、大湾区大学教授许地生团队依托书生科学多模态大模型 S2,通过人机协同完成困扰数学界 30 余年的三维 Ghys 猜想证明。北京大学董彬、刘若川院士团队用 SHEAF 框架完成形式化验证,论文已发布于 arXiv,形式化代码开源在 GitHub(https://github.com/frenzymath/HolomorphicAnosov)。

  2. arXiv cs.CY39

    多模态 AI 的临床价值主张超出证据支持

    一项审计发现,多模态 AI 模型的临床价值主张普遍超出证据支持。研究审计了 177 项比较多模态与单模态模型的研究,当每个数据源单独建模时 AUROC 增益更小(调整后差异 -0.030);完整基准测试比例从综述研究的 69.1% 降至近期研究的约 46.0%。仅约 22% 评估决策效用,无一开展前瞻性评估,但 84.0% 和约 87.7% 仍声称具有潜在临床价值或改善护理。

  3. RadarAI38

    Secludy 发布 Who Sells Data 数据供应商目录

    Secludy 发布免费目录 Who Sells Data,收录 159 家向 AI 开发者出售训练数据、RL 环境和评测的公司,每条事实均附来源与核查日期。目录另列出 38 个付费购买企业数据的项目,其中 14 个直接付费的项目有 8 个公开了金额区间,其余多为逐笔议定;未知信息一律标注而非猜测,不做排名。

  4. RadarAI40

    Leash Bio 的 Ian Quigley 谈 DEL 数据、Hermes 模型与 Minos 科学推理智能体

    Leash Bio 用 DNA 编码库(DEL)为每个分子加数十条条形码,提取干净可复现的蛋白质-小分子结合数据,并训练出仅用自家数据的 Hermes,在公开基准上追平 Boltz。团队还发现这些数据可提供数万条"lab-in-the-loop"模拟,用于智能体的科学强化学习,两个月后发展为 Minos,并发布预印本、博客与开放数据集。

  5. RadarAI62

    Google DeepMind 称 Gemini 4 Argon 零样本设计丝氨酸酯酶,酶工程周期从数周缩短至数小时

    Google DeepMind 报告称,Gemini 4 Argon 能显著缩短酶工程所需时间,最近一次实验在数小时内设计并成功验证了五种丝氨酸酯酶。该模型以零样本方式设计出功能性丝氨酸酯酶,无需针对特定酶预先微调,将原本通常需要数周的设计流程压缩到数小时。

  6. RadarAI22

    Pangram CEO Max Spero 谈 AI 检测技术

    Pangram CEO Max Spero 做客 Peter Gostev 节目,详解其 AI 检测训练流程,包括合成镜像、模型家族指纹、AI 辅助写作与图像检测,以及对 AI 去痕工具的鲁棒性。他还谈到团队如何选择基础模型、寻找困难训练样本,并构建数据与基础设施以跟上新 AI 模型的步伐。

  7. RadarAI46

    Meta 用 Muse Spark 1.3 辅助医学研究,产出 10 篇论文

    Meta 构建了由 Muse Spark 1.3 和 Muse Wonder 驱动的人类主导研究框架,可访问 500 万份回顾性去标识电子健康记录及公开数据,医学专家用它生成假设、执行代码并起草论文,同时保留对科学决策的完全主导权。Meta 现分享由此产出的 10 篇研究论文,涵盖心脏病学、肿瘤学、传染病和急诊医学等领域。

  8. Ars Technica · AI57

    研究人员用 AI 设计可切割其他蛋白的蛋白酶

    研究人员用基于 AI 的蛋白设计工具,取两类蛋白酶的催化核心并替换其余全部结构,设计出可定向切割特定蛋白的酶。他们通过切割与神经疾病相关的蛋白验证了这些酶的有效性,相当于跳过了蛋白酶自然多样化的演化过程。原文指出肽键本身极为稳定,估计半衰期达数百年,而生物体演化出多种催化肽键断裂的方式。

  9. RadarAI66

    MIT 团队用机器学习修正预报误差,两到六周天气预报准确率翻倍

    MIT 研究人员在 Nature 发表论文,提出一个机器学习后处理层,从历史数据中学习现有预报模型的误差并修正其输出,将两到六周时间范围的预报准确率提高一倍。该模型在 ECMWF 的季节间预报竞赛中获第一名,首次在该时间范围内稳定超过气候学平均值,并显著改善洪水、寒潮等极端天气事件的预测。模型开源、低成本,可作为附加包装器用于任意预报模型,肯尼亚气象部门已接洽用于改进季风季预报。

  10. RadarAI50

    Ai2 发布 HiRO-ACEv2:以约 X-SHiELD 三百分之一成本生成全球 3 公里气候数据

    Ai2 发布 HiRO-ACEv2 气候模拟系统,其新降尺度模型 HiROv2 可同时预测多种高分辨率要素,对百万分之一概率的极端风雨压事件高分辨率统计误差在 3% 以内。系统生成全球 3 公里气候数据成本约为 X-SHiELD 的 1/300,10 年模拟中飓风能量与 X-SHiELD 相当。目前仅适用于与 X-SHiELD 对齐的气候,尚不支持更暖未来或 ERA5 等历史数据。

  11. Apple Machine Learning Research20

    语音基础模型中的语言选择性维度如何实现语码转换检测

    研究者提出一种轻量方法,直接利用预训练语音编码器帧级语言信息判断一句话中是否同时出现两种语言,无需依赖多语言转录。在 CS-FLEURS 的 14 个语言对上,Whisper-small 编码器平均 F1 达 0.798,高于 CNN 的 0.776 和 HuBERT 线性基线的 0.751。该方法表明预训练语音编码器已编码识别语码转换所需信息,可用于构建更具代表性的多语言语料。