「可穿戴AI」共找到 11630 篇相关文章
12.1万高难度数学题让模型性能大涨，覆盖FIMO/Putnam等顶级赛事难度，腾讯上海交大出品
腾讯AI Lab与上海交大团队联合推出首个基于自然语言的数学定理证明框架与数据集DeepTheorem。12.1万道高难度数学“特训题”让模型定理证明性能大涨，7B模型性能比肩或超越现有开源和商业模型。
10w人看过的龙虾量化系统，评论区骂最多的问题，我花2天补上了。
上一篇龙虾量化系统文章获10w+，评论指出数据是短板。作者经研究找到QVeris，它是统一数据接口平台，使用简单。作者以金融领域为例介绍其用法，还测试其在其他领域的能力，认为它是AI时代的数据基础设施。
架构彻底重构！DeepSeek新模型代码曝光，要来的V4让国内外都坐不住了？
DeepSeek官方GitHub代码库曝光代号“MODEL1”新模型线索，或为V4内部代号。代码显示其有重大架构变更，能并行处理稀疏与稠密计算，适配英伟达新架构。此前R1发布推动中国AI开源生态发展，新模型备受期待。
没有国产替代，EDA需“自主可控”突围
在ICCAD - Expo 2025上了解到，国产EDA从业者不期待国产替代，要在新产业机遇找突破。先进封装催生出新的EDA技术需求，硅芯科技推出3Sheng平台应对，还推动产业生态建设。赵毅认为国产EDA可差异化突破、工具级协作。
Neuralink芯片入脑让瘫痪男子重新开口，家属泪崩！
伦敦一名患运动神经元疾病、几乎全身瘫痪的男子Paul，植入Neuralink脑机接口装置后，能用「意念」操控电脑打字。Neuralink核心装置N1芯片可捕捉脑信号，让机器理解大脑想法，但临床研究尚处早期，也面临数据归属等问题。
离大谱！15k Star book-to-skill，我惊到了！！！
book-to-skill是将书籍、文档目录或多份资料转换成Agent Skill的命令行工具。它把资料拆成可按需加载的知识资产，有按需加载章节等优势，适合将常用知识编译成技能，不过也有一定局限性。
MiniCPM-o 4.5 技术报告发布：全双工全模态 API 开放，RTX5070即可实时运行
面壁智能联合多机构发布 MiniCPM-o 4.5 技术报告，公开 Omni-Flow 框架。该模型 9B 参数实现端到端全双工全模态，开放在线 Demo、API 等，最低 12GB 显存 GPU 可运行，在多维度评测表现出色。
马斯克脑机接口团队成员出走，他们想把“清醒梦”变成消费电子产品
Prophetic AI是一家致力于研发非侵入式头带以诱导清醒梦的初创公司。其核心设备The Halo通过经颅超声刺激实现神经调节，还发布了大模型Morpheus - 1诱导并稳定清醒梦，但此方法论引发了诸多争议。
让外部知识“长入”模型：动态化与参数化 RAG 技术探索
检索增强生成（RAG）成大语言模型利用外部知识主流范式，但传统方法将其当黑箱，忽略动态需求和机制鸿沟。艾清遥博士介绍动态化和参数化检索增强技术，可提升准确性与适应性，减少计算开销。
多亏了自动驾驶F4，才撑起了具身智能半边天
过去一年具身智能行业融资火热，自动驾驶成创业者最大来源地之一。AI科技评论盘点了「华大地Mo」（华为、大疆、地平线、Momenta）四家公司背景的具身智能企业，如华为系它石智航、智元机器人等。