「用水」共找到 3312 篇相关文章
十分钟出结果，陶哲轩用Gemini Deepthink帮人类数学家完成Erdős问题论证
Erdős问题网站专注数学研究与解答，收录厄尔德什提出的各类数学问题。11月20日，Wouter van Doorn提出反例，陶哲轩提交给Gemini 2.5 Deep Think，十分钟得到证明，他半小时转为基础证明。之后Boris Alexeev用Harmonic的Aristotle工具完成形式化。
蛰伏一年，周衔团队带来首个具身基础模型，烹饪做实验弹琴，效果炸场
Genesis AI公布首个机器人基础模型GENE - 26.5，能完成烹饪、解魔方等复杂任务。该模型是全栈系统，以仿真加速迭代，用自研手套采集数据，还重写控制栈。公司后续计划发布全身机器人。
我给 Claude Code 做了个 AI 硬件监工
作者受Anthropic开源项目启发，用M5Paper墨水屏开发板做出M5 Paper Buddy，可蓝牙连电脑，监控Claude Code对话状态并审批操作。它有诸多功能，与官方项目区别大，还体现AI与硬件结合趋势。
Claude Opus 4.7 配 Lovart：全套品牌设计只需点击 2 次，设计师可能不太需要了
Anthropic发布Claude Opus 4.7，作者用其搭配Lovart为公益项目「国宝回家」做品牌设计。Lovart上线新功能打通设计链路，Opus 4.7感知能力提升。二者配合完成海报、字体、视频等，虽有细节待完善，但已跑通工程化链路。
五百行代码打造SOTA视觉智能体！UniPat AI最新开源
多模态大模型代码能力强，但基础视觉任务常失误。UniPat AI推出极简视觉智能体框架SWE-Vision，让模型用代码弥补视觉短板，在五个主流视觉基准测试达最优。该框架设计独特，开源代码和数据已发布。
马斯克：AI 时代，别这样开会了
马斯克建议取消无价值的大型会议，而当下很多团队开会方式还停留在上个世纪。作者用超级麦吉处理马斯克3小时音频，它表现出色，还具备多种实用功能，与飞书妙记有本质区别，AI或让会议不必要。
原神LOL齐聚的Unity开发者大会，我看到了AI游戏的未来
2025 Unity开发者大会展示了“AI+游戏”的新趋势。Unity团结引擎推出AIGC工作流平台AI Graph，降低开发门槛；AWS用AI赋能游戏全生命周期；Meshy专注3D GenAI。但玩家对AI创作有抵触，需建立信任机制。
这次，LLM黑盒被LLM打开了~
随着大语言模型（LLM）能力提升，其内部机制更不透明。概念描述新范式用另一个 LLM 自动生成自然语言解释。介绍了描述对象、生成方法、评估指标，还提及社区关注方向，指出结合多种手段才能把解释变知识。
Granola 为什么能赢：会议笔记，把产品做简单很重要
Granola是新推出一年多的AI笔记产品，迅速成硅谷创业者、投资人常用工具。其创始人认为，“AI笔记”头号竞争对手是苹果备忘录。产品好用关键在于极简“蜥蜴脑设计”与利用用户“上下文”，文中还分享设计思考与实用经验。
1.9万行 Claude Code“AI垃圾”杀入 Node.js：全球顶流开源项目，快守不住了
2026 年 1 月，Node.js 技术指导委员会成员 Matteo Collina 用 Claude Code 生成近 1.9 万行代码提交 PR，引发争议。长期贡献者 Fedor Indutny 质疑其不符合 DCO 1.1 条款，而 Collina 认为自己担责，且开源生态已认可 AI 辅助贡献。