- 论文公开站arXiv
LBA-CBF: Rapidly Adaptive Safety Filters via Parallel Dynamics Inference
Control barrier functions (CBFs) certify commands through an assumed dynamics model, so an abrupt, unmeasured regime change can undermine the certificate exactly when safety matters most. We present Look-Back Adaptive Co…
- 论文公开站arXiv
AdvSim2Real : Training Web Agents Against Adaptive Prompt Injection in a Web World Model
Web agents complete user requests by reading and acting on pages that third parties write, so an instruction planted on a page can redirect the agent away from the user's goal. The agent cannot simply ignore the page, be…
- 资讯公开站rss_mtwmag
LMW’s Turnmill Center LR30MY L17 Wins India’s Best Design Award 2026
August 29, 2026 : LMW Limited (formerly known as Lakshmi Machine Works Limited), a leading manufacturer of advanced CNC machines and engineering solutions, is proud to announce that its Turnmill Center LR30MY L17 has bee…
- 论文公开站arXiv
Paradee: Distilling Kokoro-82M into an 8M-Parameter Single-Voice Text-to-Speech Model
We distill Kokoro-82M, a widely used open text-to-speech model with 54 voices, into Paradee, an 8.07M-parameter model that speaks one of them. Paradee keeps Kokoro's architecture with much narrower layers, and each of it…
- 论文公开站arXiv
Private online learning and prediction for Littlestone classes
We study mistake bounds for differentially private online learning and online prediction under oblivious realisable adversaries. Online learning requires the learner to release a hypothesis at each time step whereas in o…
- 资讯公开站Electrek
Department of War drafts EV battery factory into military drone duty with $75M grant
As if to prove that there may not be money for universal childcare or nationalized healthcare but there is ALWAYS more money for war, the US Department of War has awarded Amprius a $75 million grant to convert a civilian…
- 资讯公开站rss_arxiv_cs_ai
Build2SPARQL: A Large-Scale Text-to-SPARQL Benchmark Dataset for Building Knowledge Graph Querying
arXiv:2610.00224v1 Announce Type: new Abstract: Building automation systems are increasingly represented as semantic knowledge graphs (KGs) using ontologies such as Brick and ASHRAE 223P, creating a machine-readable sub…
- 资讯公开站Digitimes
OpenAI claims to thwart model distillation attack tied to Moonshot
OpenAI said it detected and blocked an organized adversarial distillation attack, with some activity linked to Chinese AI startup Moonshot AI. The company said it first spotted the effort on July 1 and saw a peak on July…
- 论文公开站arXiv
Cogentic：面向自动证明发现的多智能体编排
Cogentic: Multi-Agent Orchestration for Automated Proof Discovery
提出 Cogentic，一个用于开放研究问题自动证明发现的多智能体框架。前沿语言模型虽能单次生成优质数学想法，但面对需多路径探索的开放问题，单次生成往往不足。
- 论文公开站arXiv
WorldAuditBench：多模态智能体的交互式3D世界审计
WorldAuditBench: Interactive 3D World Auditing with Multimodal Agents
随着交互式3D世界被广泛用于研究智能行为，识别其中异常（如悬浮物体、可穿墙、与环境不一致的物体）的高效流程变得重要，本文提出相应基准。
- 资讯公开站Digitimes
宏碁50周年，以创始人制作的音乐剧庆祝
Acer turns 50 and marks it with a musical produced by its founder
宏碁于2026年9月28日庆祝其50周年，首映了纪念音乐剧《微笑半个世纪》，追溯公司从小型初创企业到全球科技品牌的历程，同时展望下一章。
- 资讯公开站rss_mtwmag
AMTEX 2026：Machine Tools World 对话 Roxy Lin
AMTEX 2026 – Machine Tools World connected with Ms. Roxy Lin
在 AMTEX 2026 台湾馆，Machine Tools World 与 Roxy Lin 交流智能制造最新发展。她指出，印度是台湾企业扩大先进制造技术应用的重要市场。
- 资讯公开站rss_mtwmag
AMTEX 2026——机床世界连线蔡清枝女士
AMTEX 2026 – Machine Tools World connected with Ms. Ching-Chi Tsai
AMTEX 2026 | 台湾馆 在 AMTEX 2026 上，我们在台湾馆连线了蔡清枝女士，探讨塑造智能制造未来的最新发展。从先进技术到更智能的生产流程，这次对话重点介绍了创新如何帮助制造商变得更高效、更互联、更具未来准备。💡 关键要点：台湾馆正在展示可支持印度制造商迈向更自动化和互联生产的技术。🎥 观看完整采访，直接聆听蔡清枝女士的分享，了解他们对制造业未来的看法。#AMTEX2026 #台湾馆 #智能制造 #制造业 #工业自动化 …
- 资讯公开站rss_mtwmag
AMTEX 2026：Machine Tools World 对话 Vanessa Chang
AMTEX 2026 – Machine Tools World connected with Vanessa Chang
在 AMTEX 2026 台湾馆，Machine Tools World 与 Vanessa Chang 探讨智能制造趋势。她表示，印度对自动化和先进制造日益增长的需求，正为台湾科技公司带来新机遇。
- 论文公开站arXiv
PDMD：面向视频扩散模型的投影分布匹配蒸馏
PDMD: Projected Distribution Matching Distillation for Video Diffusion Models
现代视频扩散模型需在长时空Token序列上进行数十次去噪评估，分布匹配蒸馏（DMD）可将函数评估次数降至几次，但DMD样本在训练中会退化。
- 资讯公开站rss_arxiv_cs_ai
Benchy：迈向面向任务型AI基准测试的通用语言
Benchy: towards a universal language for task-oriented AI benchmarks
arXiv:2609.30550v1 公告类型：新 摘要：Benchy 是一种用于对 AI 程序进行基准测试的语义语言与执行引擎。一个基准由程序、评分函数和数据集完整指定，B=(P,S,D)，并与接受测试的 AI 系统相分离；一次运行将二者绑定，R=(B,AI)。基准以规范 YAML 编写，其中每个语义概念只有一种有效语法，并由共享的任务/领域/语言本体分类，且被确定性地编译为规范 JSON 中间表示，由引擎执行。编译改变的是表示，而非…
- 论文公开站arXiv
Kafila：在可信异构消费级机器集合上服务大语言模型
Kafila: Serving Large Language Models on a Trusted Set of Heterogeneous Commodity Machines
研究组成员或朋友圈各自拥有几台消费级计算机，但单台都不足以运行一个有能力的大语言模型。现有系统在开放集群中汇聚此类算力，而仅接纳可信机器的群体则无法使用。
- 资讯公开站Energy Storage News
印度长时储能讨论升温，但仍以4小时电池储能为主
Long-duration energy storage conversation gains traction in India despite 4-hour battery storage focus
- 资讯公开站Energy Storage News
Macquarie 支持的 Blueleaf Energy 与 Universal Peak 完成马来西亚中标储能项目融资
Macquarie-backed Blueleaf Energy and Universal Peak close financing on Malaysia tender-winning BESS project
摘要显示，麦格理支持的Blueleaf Energy与Universal Peak已为一处100MW/400MWh电池储能项目完成融资。该项目是马来西亚政府招标中四个中标方案之一。报道未披露融资金额、具体地点及投运时间等细节。
意义：反映东南亚大型储能项目融资落地，为关注马来西亚及区域储能市场的开发者与投资者提供参考。
- 论文公开站arXiv
适应AI：小学教师如何调整教学实践以融入AI课程
Adapting for AI: How elementary teachers adjust their practices for an AI-integrated curriculum
摘要显示，该研究追踪三名小学教师在为期13天、三周夏令营中实施围绕ToyTalk会话AI玩具开发平台构建的AI素养与英语语言艺术课程。基于每日个人反思、小组反思及营后访谈，研究发现教师的修复、差异化、翻译与平衡等适应性实践处于技术、学习者与教学三重张力交汇处，且教师对AI及自身角色的理解随营期经历演变。研究据此提出在小学课堂部署会话AI的设计启示与考量。
意义：为教育AI产品设计者与课程开发者提供一线教师适应性实践的实证依据，有助于让会话AI工具更贴合小学课堂真实教学情境。
- 论文公开站arXiv
生成、跟踪、改进：基于RL微调运动生成器的感知型多技能人形机器人运动
Generate, Track, Improve: Perceptive Multi-Skill Humanoid Locomotion with RL-Fine-Tuned Motion Generators
摘要显示，该工作提出双层运动架构：感知式流匹配运动生成器从原始深度图规划全身轨迹，控制引导强化学习训练的感知跟踪策略执行动作。核心贡献是一种离策略强化学习微调循环，通过结构化搜索采集数据并进行优势加权回归，提升生成器在未见地形与技能组合上的一致性。摘要称地形通过成功率最高提升25个百分点，技能选择提升80个百分点；使用原始深度图无需里程计或高度图，单对策略即可驱动Unitree G1完成走、跑、站立与跳跃等动作。
意义：为开发者提供一种样本高效的离策略微调范式，使多技能人形机器人仅凭深度图即可适应复杂地形，降低感知与部署门槛。
- 开源项目公开站GitHub
wasm3：快速WebAssembly解释器与通用WASM运行时
wasm3/wasm3 — 🚀 A fast WebAssembly interpreter and the most universal WASM runtime
摘要显示，wasm3 是一个以速度见长的 WebAssembly 解释器，并自称是通用性最强的 WASM 运行时，项目在 GitHub 上获得约 8000 余颗星。其定位强调可移植性与跨平台执行能力，适合在资源受限或平台多样的环境中运行 WebAssembly 模块。
意义：为开发者提供轻量、可移植的 WASM 执行方案，适合嵌入式与多平台场景。
- 资讯公开站IEEE Spectrum
工程师的诗：UI设计师之梦
Poetry for Engineers: The UI Designer’s Dream
IEEE Spectrum发表了一首题为《工程师的诗：UI设计师的梦想》的诗作，以第一人称描绘UI设计师将枯燥代码转化为精美界面的工作，并表达对通用通信协议和无限界面的向往。诗中提到鼠标操作、互联网、局域网以及理想与现实之间的微妙距离，摘要显示这是一篇文学性内容，而非技术报道。
意义：以诗意视角呈现UI/UX设计工作的理想与挑战，提醒开发者关注技术背后的人文与审美维度。
- 资讯公开站ScienceDaily Matter & Energy
量子计算的“黑马”刚刚证明可实现通用计算
Quantum computing’s “dark horse” just proved it can go universal
摘要显示，研究人员利用 Quantinuum 的 H2 处理器上的 54 个量子比特，证明被称为非阿贝尔任意子的奇异量子粒子可执行通用量子计算所需的全部操作。他们结合编织（braiding）与融合（fusion）两种机制，实现了仅靠编织无法获得的能力，从而为拓扑量子计算路线提供了新的可行性证据。
意义：若拓扑量子计算路线可行，将有望获得天然容错的量子比特，降低纠错开销，为通用量子计算提供不同于主流量子平台的实现路径。
- 资讯公开站MIT Technology Review
AI 主导气候周讨论
AI is dominating the conversation at Climate Week
摘要显示，在联合国大会期间举行的纽约气候周上，投资者、政策制定者、倡导者和记者齐聚一堂。今年的讨论中，人工智能成为无法回避的话题，主导了气候周的对话。
意义：AI与气候议题深度交织，开发者需关注AI在气候领域的应用趋势及行业关注焦点。
