「数学难题」共找到 1557 篇相关文章
爆火的 AI 玩具赛道，全行业都在等一个「成功者」
过去一年，AI玩具创业火热，众多大厂背景创业者入局。但现状尴尬，鲜少有能售卖产品，已推出的产品反馈不佳。目前AI玩具实质多为毛绒玩具加语音盒子，创业者面临技术和成本等难题。
本地该怎么做RSI？我们与StartLux CTO聊了聊
菲尔兹奖得主联名信引发AI数学研究争议，前沿研究开始防备云端AI，但本地AI能力不足。本文专访StartLux CTO郭权玮，深度讨论本地RSI实践路径，披露Auto Research方法、实验数据与安全方案，介绍本地模型研发进展。
600万奖池尘埃落定，有人靠DeepSeek网页版拿下冠军
TAAC × KDD Cup 2026大赛落幕，600万奖池揭晓归属。大赛吸引52国13913名选手，竞争激烈。冠军团队分别用DeepSeek网页版等工具，在赛题“统一建模”难题上各展方案，其成果或助广告外的LLM研究。
小模型推理极限在哪里？微博开源3B小模型，比肩顶级闭源
微博新开源的VibeThinker - 3B小模型，将特定能力维度性能推向极限。它在数学竞赛、编程等可验证推理基准上表现优异，成绩直逼顶尖大模型。其训练流程层层叠加，还提出参数压缩 - 覆盖假说。
这种“半光半物质”粒子，有望补上AI光计算最后一块拼图
宾大物理学家 Bo Zhen 团队造出激子－极化激元，用约 4 飞焦能量完成光信号全光开关切换。光子计算在非线性环节依赖电子器件，该成果有望补上缺失环节，但距商用还有关卡。
中国具身智能融资新纪录诞生！它石智航Pre-A轮融资4.55亿美金，高瓴红杉美团联合领投
4月16日，具身智能公司它石智航宣布完成4.55亿美元Pre - A轮融资，刷新行业纪录。它以物理世界AI和通用机器人技术为核心，针对数据、模型、硬件问题给出解法，还攻克工业难题创吉尼斯纪录。
Agent接管EDA工作流，不只写脚本！浙大打通真实芯片设计闭环
大模型正以Agent形态进入真实EDA工具链。浙大卓成团队构建OpenClaw + FluxEDA联合架构，打通关键链路，解决模型操作真实EDA工具的难题，在多任务中完成连续分析与优化闭环，推动EDA工作流范式转变。
CVPR 2026 | ReFTA：打破张量化PEFT的「权重重建」瓶颈
随着大模型发展，全参数微调成本高，参数高效微调（PEFT）成主流。常见基于矩阵低秩分解的PEFT方法有局限，张量化PEFT虽有优势但存在权重重建问题。本文提出ReFTA方法解决该问题，有工程和理论优势。
2026国内 OpenClaw 完整指南！12个平台一站式汇总，零代码养龙虾再也不是梦！！
腾讯举办OpenClaw小龙虾免费安装活动，让更多人意识到其时代已至。国内各大厂和云平台推出一站式封装平台，解决安装难题。文章汇总扣子Coze、腾讯QClaw等12个平台，介绍特点、适合人群等。
不同灵巧手，终于可以共用「一套大脑」了
北卡罗来纳大学教堂山分校团队提出 One Hand to Rule Them All，构建统一描述空间，使不同灵巧手共享动作表达与策略结构。该方法解决跨手泛化难题，实验证明其在多方面有效，有望推动机器人操作研究发展。