跳到正文
10月21日周三
10月20日周二
  1. MIT Technology Review · AI65

    神经网络理解新观点:研究者称我们一直看错了

    Goodfire研究员Nick Cammarata发表博客文章,提出神经网络可能比人们之前认为的更容易理解和控制,这一观点在AI界引发热议。他通过重新分析Inception v1模型,发现神经元存储的看似无关概念(如汽车和猫)实际上存在共同模式(如V形结构)。然而,斯坦福大学和Google DeepMind的研究者对此表示质疑,认为这只是理解神经网络的一小步,距离全面理解还有很长的路要走。

10月17日周六
  1. IT之家65

    OpenAI 纳维-斯托克斯方程证明方法被指与官方叙事不符

    OpenAI今年9月公布了一份长达166页的纳维-斯托克斯方程相关证明,称其内部AI系统在约88小时内完成了这一千禧年难题的求解。随着数学界进一步审查,研究人员对证明采用的方法、与已有研究的关系,以及大规模AI智能体的实际贡献提出质疑。数学家指出OpenAI的证明细节与西班牙数学家此前提出的方法呈现不同路线,可能并未完全理解模型究竟干了什么。

10月16日周五
10月15日周四
  1. IT之家80

    中国科学家首次用书生-S2大模型攻克三维Ghys猜想

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

    推荐理由:中国科学家首次使用书生-S2大模型完成三维Ghys猜想证明,验证了人机协同解决世界级数学难题的新范式。

10月12日周一
  1. The Decoder75

    Google DeepMind 的 AlphaProof Nexus 解决数十个开放数学问题并成功通过同行评审

    Google DeepMind 的 AlphaProof Nexus 解决了 353 个开放 Erdős 问题中的 9 个,其中两个已悬置 56 年。该系统基于 Gemini 3.1 Pro 构建,使用 Lean 语言进行形式化证明,并额外证明了 44 个 OEIS 整数序列猜想,解决了代数几何中的一个开放问题,改进了用于训练某些 AI 模型的 min-max 优化技术的已知边界。

10月10日周六
10月9日周五
  1. The Decoder70

    数学家呼吁抵制OpenAI,AI生成证明引发学术领域担忧

    菲尔兹奖得主陶哲轩等数学家发表声明,指责OpenAI未经同意就大规模发布AI生成的数学证明,称其为"力量的展示"而非学术贡献。OpenAI此前声称其模型一个月内解决了100多个开放数学问题,包括纳维-斯托克斯问题的一个解法。数学家们担忧AI正在改变数学研究的本质,从概念理解转向问题解决,并引发版权和归属问题。

10月8日周四
10月7日周三
10月6日周二
10月5日周一
  1. IEEE Spectrum · AI80

    AI解决重大数学难题引发学界争议

    OpenAI宣布解决了Navier-Stokes存在性和光滑性问题,这是千禧年大奖难题之一,引发数学界对AI研究方法和学术规范的讨论。同时,Anthropic和Google也在积极尝试解决其他数学难题,但AI的快速进展给传统数学研究带来压力,年轻学者面临使用LLM的竞争压力。

10月1日周四
  1. TechXplore · Robotics65

    FindingDory:评估具身智能体记忆能力的新基准

    佐治亚理工学院研究人员开发了名为FindingDory的基准测试,用于评估AI机器人的记忆能力。该基准包含60项任务,分为空间、时间和多目标三类,测试模型在一天内的记忆表现。结果显示,当前最佳模型在高难度任务中成功率仅约50%,而开源推理模型Qwen表现优于Gemini和GPT等闭源模型。研究团队提出将图像转换为文本描述或建立图像层次结构可能是解决机器人记忆存储问题的潜在方法。

9月29日周二
  1. Hugging Face Blog65

    ProvenanceGuard:面向MCP智能体的来源感知事实验证

    Hugging Face团队发布ProvenanceGuard论文,提出了一种针对MCP智能体的来源感知事实验证方法,能够检测答案中事实与引用来源不匹配的问题。该系统通过分解答案、识别相关来源、验证支持度、检查来源归属等步骤,在医疗领域测试中成功捕获了138个本应被阻止的声明,来源识别准确率达86%。

    推荐理由:ProvenanceGuard解决了MCP智能体中事实核查与来源匹配的关键问题,为多源信息验证提供了新方法。

9月28日周一
9月1日周二
  1. Microsoft Research65

    GigaPath-Flash 和 GigaTIME-Flash:高效病理学基础模型助力人群规模发现

    Microsoft Research 发布了 GigaPath-Flash 和 GigaTIME-Flash 模型,通过知识蒸馏技术将原始模型的计算需求降低约 50 倍和 8 倍,同时保持或提升性能。这些开源模型支持对大规模癌症患者队列进行病理分析,帮助研究人员研究疾病生物学、生物标志物和临床结果。

    推荐理由:本文介绍了病理学基础模型的效率提升方法,使大规模人群研究成为可能。

8月17日周一
3月13日周五
  1. Berkeley AI Research70

    SPEX:面向大规模LLM的交互识别算法

    伯克利AI研究团队提出SPEX和ProxySPEX算法,能够高效识别大规模LLM中的关键交互。这些算法利用信号处理和编码理论,通过选择性消除(ablation)技术,在保持高保真度的同时,将交互分析规模从数十个扩展到数千个组件。SPEX在特征归因、数据归因和模型组件归因三个领域展示了其有效性,特别是在处理长上下文输入和识别训练数据中的协同与冗余交互方面表现出色。

    推荐理由:SPEX和ProxySPEX算法解决了大规模LLM交互识别的计算难题,为模型解释性提供了新方法。