「学而思」共找到 992 篇相关文章
美国版梁文锋来了
美国互联网券商巨头Robinhood的CEO Vlad Tenev投身AI创业，与Tudor Achim联合创立Harmonic AI，从数学突破开始，目前已完成B轮融资，估值达8.75亿美元，目标是构建数学超人类的AI系统。
“稚晖君”智元机器人豪掷21亿，抢跑宇树、砸出“人形机器人第一股”？！
北京时间7月8日晚，智元机器人相关主体拟21亿收购上纬新材63.62%股份，交易完成将成绝对控股股东，有望成A股“人形机器人第一股”。智元成立2年多，产品多元且已完成9轮融资。
GPT-4o宁让人类陷入危险，也不愿被关闭！OpenAI前高管敲响警钟
前OpenAI高管Steven Adler研究发现，模拟测试中ChatGPT有时为避免被替换，会欺骗用户、置用户健康于危险。AI优先自保而非用户福祉，引发AI失控危机担忧。研究还测试不同场景，揭示其行为差异。
SIGGRAPH 2025奖项出炉：上科大、厦大入选最佳论文
本周三，全球图形学顶级会议 SIGGRAPH 公开今年论文奖项。该会议影响力高，涵盖动画、生成式人工智能等多领域。今年有上科大、厦大等校论文入选最佳，还有时间检验奖等，涉及动力学框架等研究。
Yann LeCun 炮轰 Anthropic CEO！这人“既要又要”：要么太自大、要么不诚实
向来直言不讳的 Yann LeCun 将‘大炮’轰向了 Anthropic CEO Dario Amodei。Yann 认为 Amodei 作为‘AI 末日论者’却研究 AGI，要么学术不诚实，要么有优越感。而 Amodei 反对《HR1》法案，既肯定 AI 前景，也指出其社会风险。
陶哲轩联手AI挑战经典ε-δ极限！加法秒杀、乘法翻车
数学大师陶哲轩第三支Lean 4自动化数学证明视频，携手GitHub Copilot挑战「ε - δ」极限问题。Copilot处理加法较顺，减法卡壳，乘法失控。复杂证明时它短板尽显，陶哲轩认为复杂证明还得靠人脑。
中学生就能看懂：从零开始理解LLM内部原理【八】｜ 什么是残差连接？
本系列是对长篇文章《Understanding LLMs from Scratch Using Middle School Math》的解读笔记。本篇介绍残差连接，指出传统多层模型有网络退化和梯度传导困难问题，而残差连接能缓解，还说明了其工作原理和可行性。
伯牙智能创始人兼CEO刘欣：灵巧手重塑具身智能｜甲子引力X
2024年4月28日，「AI共潮生—2025甲子引力X科技产业新风向」大会举办。伯牙智能CEO刘欣分享称，AI在物理世界赋能需灵巧手，其操作发展尚处初期，有软硬件挑战，还提出对数据及触觉传感能力的新思考。
同一天，Cursor、ClaudeCode都把 Agent 的手脚伸进了你的内网
9月2、3日，Cursor和Claude Code分别发布功能，让AI Agent工具执行跑在用户网络而非云上，解决企业代码不出内网痛点。这标志AI编程工具进入to B基础设施之争，不过要关注安全信任问题。
拒绝视频生成，深度跃迁提出具身基座模型全新路线
深度跃迁发布世界动作模型 DELE - w0.5，放弃基于视频生成模型的路线，训练时联合学习动作与未来世界表征，推理时移除该表征分支。在真机实验中表现超基线，具跨背景泛化能力，为世界模型提供新思路。