「人类在环」共找到 8738 篇相关文章
刚刚，百度抛出“王炸”：全球首个可商用自我演化智能体！李彦宏：技术迭代速度是唯一护城河
在百度世界大会上，李彦宏指出产业结构不均衡问题，介绍AI产业从‘正金字塔’向‘倒金字塔’转变。百度展示内化AI能力成果，如发布数字人、重构搜索、更新秒哒等，还推出昆仑芯、文心大模型5.0和全球首个可商用自我演化智能体百度伐谋。
刚刚，马斯克开源Grok 2.5：中国公司才是xAI最大对手
马斯克主导xAI正式开源Grok 2.5，Grok 3将半年后开源。Grok可在HuggingFace下载，运行有条件。虽Grok 2曾有不错表现，但网友对其参数权重、开源协议等有诟病。此外，还更新APP视频生成功能，马斯克称中国公司是xAI最大对手。
llya证词太狗血了！奥特曼坏，Mira茶，OpenAI差点跟Anthropic合并
最新披露的llya 52页证词，记录了当年奥特曼被“宫斗”的来龙去脉。奥特曼回应个人持股情况，称因热爱但也有点后悔。llya证词显示他和Mira曾密谋开除奥特曼，背后是OpenAI在营利和非营利间的摇摆，而OpenAI目标指向IPO。
AI证伪百年数学猜想被打假！Lean证明惊现漏洞，哥大教授破防了
OpenAI新推理模型取得十项数学进展，如证明非Sofic群存在性等。哥伦比亚大学副教授Henry Yuen对其量子并行重复定理证明既兴奋又失望，因证明有AI味且难理解。此外，Lean证伪科拉兹猜想被指利用内核漏洞，专家提醒Lean验证有局限。
连续发布两款万亿参数模型，蚂蚁 AI 来势汹汹
国庆期间大模型行业热闹非凡，各团队产品侧重不同。蚂蚁百灵大模型团队在十天内连续发布并开源两款万亿参数模型 Ling-1T 和 Ring-1T-preview，引发关注。万亿参数模型难训，国内达到此规模的屈指可数。Ling-1T 综合性能出色，应用场景广泛。蚂蚁选择开源，意在构建开放 AGI 生态。
蚂蚁开源 x SGLang Meetup技术回放解读系列之面向DeepSeek系列模型的深度优化与实践
文章是对蚂蚁开源x SGLang Meetup中「蚂蚁Theta面向DeepSeek系列模型的深度优化和实践」分享的解读，详细介绍了在H20-96G上对DeepSeek系列模型推理的优化方案，包括Prefill和Decode阶段的优化、通信优化、观测诊断等，并给出了评测结果。
Sora 2 惊现 LLM 推理能力，视频生成模型也能搞推理？
Sora 2在科学推理基准测试中获55%成绩，虽不敌GPT - 5，但一个视频生成模型能做推理令人惊讶。Epoch AI实验发现其可能借LLM重写提示词答题，网友也证实背后或有GPT - 4o等处理。此外，Google研究显示视频模型经大量训练或有推理能力。
脑子比不过AI，手也要沦陷了？这只灵巧手看得我有点慌
人类手部结构和功能复杂，将其能力复刻到机器人身上是梦想，由此衍生出“灵巧手”方向。但多数“灵巧手”存在不足，世界机器人大会上一款“灵巧手”表现出色。灵巧智能选择柔性传动，其产品DexHand021 Pro优势明显，未来将提升感知和智能水平。
APP推广，常用的100种英文名称解释
ASO工具箱里装着哪些英文专业名词？从AARRR到watchOS，一篇文章带你了解APP推广中常遇到的100个英文术语。
李飞飞团队新作：简单调整生成顺序，大幅提升像素级图像生成质量
长期以来，AI生图面临潜空间模型细节损耗、像素空间模型结构混乱速度慢的矛盾。李飞飞团队最新论文提出Latent Forcing方法，通过重排生成轨迹，让像素扩散模型找回效率并刷新SOTA。