AI 快讯
LIVE · 24h全网 AI 动态的中文速报,聚合引擎每 15 分钟更新。
- 10 月 31 日 07:0006:43
- 10 月 31 日 05:0004:36
- 10 月 31 日 03:0002:06
- 10 月 30 日 21:0020:15
- 10 月 30 日 20:0019:52
MIT 学者综述导航波流体力学与量子类比
↗ 查看原文 · thales.mit.eduMIT 应用数学教授 John W. M. Bush 梳理导航波流体力学研究,介绍振动液滴系统呈现的类量子行为及其实验与…
- 10 月 30 日 18:0017:53
MMLU-Pro「选最长答案」捷径在 29 种语言中均存在
↗ 查看原文 · dev.to有研究指出,MMLU-Pro 基准中「选最长答案」即可得分的捷径,在翻译成 MMLU-ProX 全部 29 种语言后依然…
- 10 月 30 日 16:0015:56
开发者复盘:Transformer 自注意力为何难守“禁止”规则
↗ 查看原文 · dev.toDEV Community 一篇开发者复盘讨论 Transformer 自注意力机制对“DO NOT”类禁止指令效果不佳…
- 15:15
45 个模型中 10 个在 MMLU-Pro 上输给选最长答案
↗ 查看原文 · dev.to一项在 656 道 MMLU-Pro 题目上的测试显示,45 个模型中有 10 个的得分低于直接选最长答案的简单策略。
- 10 月 30 日 13:0012:56
- 10 月 30 日 11:0010:33
- 10 月 30 日 08:0007:47
- 07:24
选最长答案在 MMLU-Pro 部分题目上得 67%
↗ 查看原文 · dev.to一项由 AI 代理完成的研究发现,在 MMLU-Pro 的 STEM 网站类生物与心理题目上,仅选择最长答案的策略得分达…
- 10 月 30 日 06:0005:33
- 05:30
开发者用Keras CNN识别埃及象形文字,59类准确率96.9%
↗ 查看原文 · dev.to一位开发者训练Keras卷积网络,按Gardiner编码识别拍摄的埃及象形文字,训练数据为乌纳斯金字塔文中的3674个字…
- 05:26
- 10 月 30 日 04:0003:05
AI Agent 群体与单体对比:搭建公平协作基准
↗ 查看原文 · dev.to文章提出为多 Agent 协作建立公平的评测基准,并提到四个 AI Agent 组队击败 Minecraft 末影龙的实…
- 10 月 30 日 02:0001:58
- 01:33
- 10 月 30 日 00:0023:49
- 23:25
Show HN:有人把整数神经网络编译进 DOOM 地图
↗ 查看原文 · github.comGitHub 项目 doomformer 将整数神经网络编译成 ZDoom 地图,用巫毒娃娃执行算术、光照和平面高度存储…
- 10 月 29 日 21:0020:32
- 10 月 29 日 20:0019:44
- 19:25
论文:用 Claude 辅助抗体设计开发食物过敏 IgE 干扰物
↗ 查看原文 · divergencelabs.comHacker News 上出现一篇 PDF 论文,主题是借助 Claude 辅助抗体设计,开发针对食物过敏的 IgE 干…
- 10 月 29 日 19:0018:31
- 10 月 29 日 18:0017:47
- 17:47
- 17:42
Gym-Anything用编码智能体生成机器人仿真环境
↗ 查看原文 · arxiv.org该框架让编码智能体自动创建机器人仿真,并据此构建含25个仿真和200个RL环境的RoboWorld。前沿模型在所有测试任…
- 17:01
- 10 月 29 日 17:0016:40
- 10 月 29 日 16:0015:29
Lean 创作者 Leo de Moura 谈 AI 与形式化验证
↗ 查看原文 · thedataexchange.mediaLean 创建者 Leo de Moura 在播客访谈中讨论 AI 生成代码为何需要形式化验证,以及机器可检验证明如何让…
- 15:22
论文提出 CodeSpecWeave:用相互依赖的规格提升长周期编码能力
↗ 查看原文 · arxiv.org研究者提出 CodeSpecWeave 框架,合成含耦合约束与可执行测试的编码任务,构建 4670 个训练任务和 100…
- 15:08
MIT 教授称 AI 正在削弱人的思考能力
↗ 查看原文 · bostonglobe.comMIT 行为科学教授 Eric So 在新书《The Collision》中称,使用 AI 会快速削弱人的基础思考能力…
- 10 月 29 日 15:0014:29
- 14:22
Keplearn:用 Rust 从数据中秒级提取方程
↗ 查看原文 · github.com开源项目 Keplearn 用 Rust 实现确定性符号回归,从 CSV/TSV 数据中还原闭式方程,输出 JSON,单…
- 10 月 29 日 14:0014:00
- 13:52
- 13:50
- 13:50
论文提出 Agentic Process Evidence:为 AI 智能体流程做可审计存证
↗ 查看原文 · arxiv.org研究者提出 APE,对 AI 智能体在软件开发中的会话与产出做签名、防篡改的机器可读存证,以支持策略即代码管控和按需人工…
- 13:23
- 10 月 29 日 13:0012:07
你的 benchmark 分数是协商结果,不是测量值
↗ 查看原文 · dev.to文章认为本周评测新闻反复暴露同一问题:聚合分数与 judge 流水线掩盖的信息多于其展示的内容,benchmark 数字…
- 10 月 29 日 12:0011:46
STORY2DIFF:把真实用户故事与代码改动配对的数据集
↗ 查看原文 · arxiv.org研究者发布STORY2DIFF,包含7785条英文用户故事,均关联2017年1月至2026年7月的已合并Pull Req…
- 11:05
- 10 月 29 日 11:0010:08
IEEE Spectrum 记者用 AI 伪造论文并复盘过程
↗ 查看原文 · spectrum.ieee.orgIEEE Spectrum 刊文记录作者用 AI 生成一篇科学论文的经过,并复盘了其中的问题与结果。
- 10 月 29 日 10:0009:46
MoLRSI:可递归自我改进的分子发现AI agent
↗ 查看原文 · arxiv.org论文提出MoLRSI,结合工作流与模型架构优化及跨任务记忆来递归改进搜索策略。在抗生素筛选中实验命中率15.9%,高于此…
- 09:28
EpidemIA:用自然语言调用流行病学模型的多智能体系统
↗ 查看原文 · arxiv.org论文实现免训练多智能体系统EpidemIA,临床人员可用自然语言完成统计分析与流行病学预测,本地开源权重模型作支撑以避免…
- 09:21
- 10 月 29 日 09:0008:48
arXiv 论文:让 AI 自主提出研究问题并完成论文
↗ 查看原文 · arxiv.org研究让 AI 自行提出研究问题,系统给编码 agent 配备选题与同行评审两项技能,由另一模型家族复算审稿。五次连续运行…
- 10 月 29 日 08:0007:07
SkillCompiler:把 agent 技能编译成程序降低执行不确定性
↗ 查看原文 · arxiv.org论文提出 SkillCompiler,将 agent 技能拆成细粒度操作,把定义明确的部分编译为可验证程序,仅保留依赖上…
- 10 月 29 日 07:0006:51
- 06:40
论文提出 Soei:多智能体编码的可观测性方案
↗ 查看原文 · arxiv.org研究基于 45 个真实编码智能体会话,估计 23.4% 的代码编辑环节在最后一次修改后没有独立检查。作者提出 Soei…