陶哲轩谈 AI 对数学研究的影响:研究者担心想法被抢先发表
陶哲轩称,一些数学家因担心他人把研究想法输入前沿模型并抢先发表成果,开始隐藏原本会公开分享的问题。他还提醒,AI 可能找到理论模型的漏洞,给出通过模型却未真正解决问题的答案。
研究团队称,GPT-6 Astra 在 Python 笔记本中直接修改 Qwen3.5-0.8B 的权重,无需训练,就将其 MATH-500 准确率从 7.9% 提高到 48.1%。它在 50 次练习题测试的预算内,将模型反复输出直至达到长度上限的问题追踪到两个层写入的内部信号,并通过修改 0.016% 的权重消除该信号。
过去 48 小时;同机构与相同材料合并计数。
Anthropic 在风险提示中称,正越来越多地用 AI 加快研发;基于内部测算和对下一代模型的预期,可能很快触及其政策定义的“由 AI 带来的爆发式技术进展”。公司同时表示,现有模型均未越过这条红线,相关数据仍在评估,并正考虑修订政策以保持人类对前沿模型开发的掌控。
过去 48 小时;同机构与相同材料合并计数。
《纽约时报》起诉浏览器公司 Brave,指控其未经授权抓取受版权保护的内容,并提供给 Anthropic、Perplexity 等客户。《每日新闻》《芝加哥论坛报》和《奥兰多哨兵报》也提起类似诉讼;两起案件均提交至曼哈顿联邦法院。《纽约时报》请求法院下达禁令并判令 Brave 赔偿损失。
过去 48 小时;同机构与相同材料合并计数。
Apple 调整 App Store 年龄分级政策:提供约会或恋爱关系功能的应用须标为 18 岁以上,涉及性或浪漫内容的 AI 陪伴应用也在新规范围内。开发者须从 11 月 16 日起填写新的内容描述,以便年龄分级反映应用功能。
过去 48 小时;同机构与相同材料合并计数。
Anthropic 已向美国证券交易委员会提交 S-1 文件,计划首次公开发行 A 类普通股;发行规模、定价区间和上市日期尚未公布。招股书披露,2026 年上半年营收为 162.86 亿美元,营业亏损为 6.93 亿美元;已确定的长期算力租赁协议涉及约 4,170 亿美元未来最低付款额。
过去 48 小时;同机构与相同材料合并计数。
按事件统计过去 48 小时的已审核公开报道,同一机构的多个渠道和相同材料只算一次。至少 2 位独立参与者,且事件关系已确认,才进入 Top 10。是否精选不决定讨论热度。
每位参与者取窗口内最新一次报道:热度指数 = 10 × Σ 0.5^(报道距今小时数 / 24)。使用来源发布时间;缺少原始时间时使用首次收录时间,重复抓取不刷新热度。
涨跌与 6 小时前比较,超过 10% 才显示方向。趋势只比较两个窗口中持续覆盖且采集正常的同组信源,新增或落后的来源不计入涨跌。
走势图按当前公开证据重算过去 24 小时,整条曲线使用同一组持续监测的来源;它不是过去的榜单快照。历史不足时不画线。
来源名单展示可公开阅读的报道。同机构或相同材料可能合并,因此独立参与者数可能少于来源数。本站监测范围内的讨论活跃度,不代表全网人数或报道质量。
陶哲轩称,一些数学家因担心他人把研究想法输入前沿模型并抢先发表成果,开始隐藏原本会公开分享的问题。他还提醒,AI 可能找到理论模型的漏洞,给出通过模型却未真正解决问题的答案。
Terence Tao 认为,人们可能像在纯数学中一样,在不理解问题的情况下输入提示词。他还说,AI 更擅长“作弊”,能找到理论模型中的漏洞。
Netflix 的电视应用将新增“AI Discover”标签页,先以“轻松一点”“家庭电影之夜”等主题推荐节目和电影。用户选定主题后可反馈不喜欢的推荐,应用会记住这一反馈;Netflix 称该功能由能实时响应用户意见的智能层驱动。
Atypica AI Moderator 面向消费者研究,可在视频访谈中追问、改述不清楚的问题,并同时开展多场最长一小时的对话。团队公布的一项40人测试称,60%的参与者在事先不知访谈者是 AI 的情况下,以为自己正与真人交谈。产品尚未开放使用,目前可加入候补名单。
Atypica AI Moderator 面向消费者视频访谈,宣称可进行最长一小时的对话,并在受访者不理解问题或试用产品时追问。Atypica 称,在一项涉及五国40人的测试中,60%的受访者以为访谈者是真人。产品尚未开放,现可加入候补名单。
SelendisAI 称,Archon 可将原始素材在数分钟内剪成成片,并根据创作者的历史视频、参考视频及其在多人编辑器中的选择学习剪辑偏好。目前可加入候补名单,材料未说明正式开放时间。
SelendisAI 介绍的视频基础模型 Archon 声称能在几分钟内将原始素材剪成成片,并依据创作者过往作品、参考视频及编辑器中的选择学习个人偏好。目前材料只提到留言申请早期体验,未说明已向公众开放。
Traversal 在一则帖文中称,已融资 1.2 亿美元、估值 10 亿美元。该公司称其软件可梳理生产系统之间的关系、定位故障根因,并帮助预防后续事故;帖子还称 Nubank、Harvey、PepsiCo 和 DigitalOcean 的工程师每天都在使用 Traversal。
这套“化学信息学技能”可协助科研人员检索文献、分析分子、构建模型和设计新分子,现已向 Google Antigravity 用户开放。在肺癌药物演示中,AI 约一小时内检索数千种化合物;谷歌强调,设计出的候选分子仍需合成与实验验证。
Traversal 宣布融资 1.2 亿美元,估值 10 亿美元。其工具旨在梳理生产系统的关联、找出故障根因,并把事故中获得的信息反馈给编程代理;公司称 Nubank、Harvey、PepsiCo 和 DigitalOcean 的工程师每天都在使用。
StateBench 将长文档中的状态追踪分为四种难度,测试模型能否在信息反复变化后给出正确结果。报告称,受测的四款前沿模型在较难题目上随输入变长而明显失准;直接针对任务训练的循环与混合架构模型则能在更长序列上保持较好表现。基准目前仍假设变量数量固定,尚未覆盖新人物或物品不断出现的情形。
在 Microsoft Research 的访谈中,Mike Walker 回顾了他参与打造的全机器黑客竞赛,并指出当年的 Cyber Grand Challenge 主要依靠专家系统,机器学习并未起关键作用。他还介绍了 Project Freta:该项目尝试从云硬件获取内存信号,以减少防御数据遭篡改的风险。
@intology 称,自动化研究系统 Locus 被用于分子性质预测、小分子药效预测和抗体设计流程。在其测试中,Locus 相比现有先进基线及用于优化这些任务的 LLM 智能体取得更高表现;材料未给出具体分数。
Google Antigravity 的化学信息学技能现已可用。团队展示了智能体在约一小时内检索数千种化合物、分析分子结构变化,并提出用于肺癌药物研究的候选大环分子及合成路线。团队提醒,预测受数据稀疏和实验噪声限制,候选设计仍须合成并经实验验证。
Google表示,K-12学生账户的Google Search及多项Gemini服务将默认关闭,须由管理员明确开启。管理员无法单独关闭由Gemini驱动的功能而保留搜索,学校若不启用这些功能,也将失去搜索访问权限。
Locus 团队称,其自动研究系统在分子性质预测、小分子效力预测和抗体设计工作流等任务中,表现优于所比较的现有基线与用于优化这些任务的 LLM 智能体。材料未给出具体分数或测试规模,这些性能结论仍是团队主张。
一篇 Amazon Quick 操作教程演示:将 S3 文档建成知识库,把销售数据集与知识库加入同一个 Space,再让自定义聊天代理查询两类数据并给出来源引用。跟做需要 Enterprise 订阅,以及创建相关资源的权限。
一篇实操教程展示如何在 Postgres 数据库内为 AI 代理建立语义知识库,并通过 AgentCore Gateway 连接代理。案例中,字段注释帮助代理正确理解订单金额;不同数据库角色查询客户社保号码时,列级权限会产生不同结果。
Cartesia 的语音生成模型 Sonic 3.6 已作为 AWS Marketplace 模型包提供,订阅后可部署到用户自己的 SageMaker 端点,推理数据留在其 AWS 账户内。文章称 Sonic 的首个音频字节约需 90 毫秒;语音转文字模型 Ink 则通过 Cartesia API 提供。
Palette 将演示文稿的内容规划与逐页绘制分开,并在交付前检查和修复文字溢出、元素重叠等问题。其报告称,在 PresentBench 的三个领域中,该模型有两个排名第一、综合排名第二;但评测使用另一个前沿模型预先拟定大纲,也未检验是否符合指定设计语言。