资讯列表
他47岁转方向，一举解决了球体堆积领域内最大的未解问题
在数学领域里，对于最优模式的探索永无止境，球体填充问题也不例外，它旨在尽可能高效地将球体塞进一个（高维）盒子里。 几个世纪以来，它一直吸引着数学家们，并在密码学、远程通信等领域有着重要的应用。 它看似简单，实则微妙。
全球最强 AI 模型：马斯克发布 Grok 4，处理学术问题达到博士级别
AI在线 7 月 10 日消息，在今天召开的直播活动中，埃隆・马斯克（Elon Musk）宣布推出 Grok 4，声称是全球最强 AI 模型，在处理学术问题上的表现，已达到博士级别。 整场发布会时长 53 分钟，马斯克演示了 Grok 4 模型的多模态功能、更快的推理能力等诸多新特性。 从官方公布的跑分数据来看，Grok 4 模型具备非常亮眼的成绩，在实时速度、推理能力和高级视觉等方面，将和 OpenAI、Anthropic 顶尖模型同台较量。
饿了么联创悄悄做了一家 AI 公司，专攻效率工具
前饿了么联合创始人汪渊，我本以为他已经退休去享受生活了。 这种级别的创业者，早就实现财务自由。 早些年有朋友在饿了么，经常跟我讲饿了么创始人“四大饿”跌宕起伏的故事。
魔法原子推出高动态双足人形机器人MagicBot Z1，发布即发售
7月8日，中国具身智能公司魔法原子（MagicLab）发布旗下新款双足人形机器人MagicBot Z1，通过“高性能可靠本体 开放AI生态系统 丰富场景落地应用”三位一体，定义人形机器人产品价值新维度。 MagicBot Z1性能强劲，灵活迅捷：. 其拥有自研高性能关节模组，24基础自由度，最多可扩展至49自由度。
9个功能点看完蔚来乐道L90
蔚来旗下最新家用旗舰乐道L90，刚刚解禁了静态体验，关于这款「低于30万」起售的大三排六座车…. 我们体验完，总结了最突出的9大亮点。 看完大概能理解为啥这款车长超5.1米的三排纯电SUV，会被网友们称为「新能源时代的汉兰达」，「能换电的理想L9」了。
「Tokens是胡扯」，Mamba作者抛出颠覆性观点，揭露Transformer深层缺陷
「Tokenization（分词）是 Transformer 模型为弥补自身缺陷不得不戴上的枷锁。 」近日，Mamba 作者、CMU 助理教授、Cartesia AI 首席科学家 Albert Gu 撰写了一篇新博客，探讨了状态空间模型（SSM）和 Transformer 之间的权衡，并提出了这样一种观点。 这篇博客改编自 Albert Gu 过去一年来多次进行的一场演讲。
花49元试了下Lovart国内版，集结数十个模型的设计Agent能有多强？
一手实测。 还记得那个号称「全球首个设计 Agent」的 Lovart 吗？ 它是继 Manus 后在海外爆火的另一款 Agent 产品，而且学到了 Manus 的「精髓」：有邀请码才能体验。
OctoThinker：借“中期训练”之力，缩小 Llama 和 Qwen 模型的差距
大家好，我是肆〇柒，大型语言模型（LLM）通过链式思考（CoT）进行深度推理，并借助大规模强化学习（RL）在复杂任务（如竞赛级数学问题解决）上取得了显著进展。 OpenAI 的 o1、o3 等模型在数学推理任务上表现卓越，这些模型通常采用多层神经网络架构，通过大规模数据训练捕捉语言的复杂模式，从而实现高效的文本生成和推理。 而 DeepSeek-R1-Zero 等模型在基础语言模型上直接应用大规模 RL 也展现了有趣的推理行为。
WebSailor 突破边界：助力开源智能体跨越复杂推理 “天花板”
大家好，我是肆〇柒，自从互联网时代开启以来，人类社会经历了多次信息技术变革，而互联网犹如一把双刃剑。 一方面，它以每两年数据量翻一番的惊人速度，为人类打开了通往海量知识的大门；另一方面，也向我们的认知能力发起了前所未有的挑战。 当我们面对无边无际的信息数据时，人类有限的记忆容量、脆弱的注意力稳定性，以及线性单一的探索路径，无疑成为了制约我们高效获取精准信息的瓶颈。
真实科研水平集体不及格！全新基准SFE给主流多模态LLM来了波暴击
当前，驱动科学研究的人工智能（AI for Science，AI4S）在单点取得了可观的进展，实现了工具层面的革新，然而要成为「革命的工具」，需要采用「通专融合 AGI」方式。 大模型的突破性能力逐步改变科学研究的模式，而大模型在科学领域的深度应用亟需科学的评测支撑。 现有科学评测面临着两大痛点：现有测试多聚焦知识记忆，而真实科研需要从原始科学数据感知到复杂推理的全链条能力；天文、地球、生命和材料等领域存在大量未开发的多模态数据分析需求。
魔法原子推出高动态双足人形机器人MagicBot Z1
全球领先的具身智能公司魔法原子（MagicLab）发布旗下新款双足人形机器人MagicBot Z1，通过“高性能可靠本体 开放AI生态系统 丰富场景落地应用”三位一体，定义人形机器人产品价值新维度。 MagicBot Z1性能强劲，灵活迅捷，其拥有自研高性能关节模组，24基础自由度，最多可扩展至49自由度；关节最大扭矩超过130N.m，可实现“大扰动冲击恢复”、“连续倒地起身”等高爆发运动；关节运动范围最大可达320°，支持“下腰”等高难度及大幅度动作，为行业落地应用中的机器人功能二次拓展开发，提供坚实硬件保障。 本体优异，结实抗造。
闭源主力选手拥抱开源？OpenAI 被曝最快下周推开源 AI 模型，o3 mini 级推理能力
AI在线 7 月 10 日消息，科技媒体 The Verge 今天（7 月 10 日）发布博文，报道称 OpenAI 公司正酝酿推出开源 AI 模型，可能会加剧其和微软之间的分歧。 消息称 OpenAI 公司正和微软公司重新谈判，希望重组成为一家盈利性公司。 在此之际，OpenAI 正准备发布一个开源的大语言 AI 模型，这可能会在两家公司之间造成更大的隔阂。
OpenAI 迄今最大交易落地，65 亿美元完成收购前苹果首席设计师 Jony Ive 的初创公司 io
AI在线 7 月 10 日消息，OpenAI 公司昨日（7 月 9 日）发布公告，宣布已完成收购前苹果首席设计师 Jony Ive 创立的初创公司 io Products, Inc.。 AI在线曾于今年 5 月报道，OpenAI 公司以近 65 亿美元（AI在线注：现汇率约合 469.31 亿元人民币）的全股票交易，收购前苹果首席设计官 Jony Ive 联合创立的 AI 设备初创公司 io，这也是 OpenAI 公司历史上最大规模的收购。 最新消息称 io 的联合创始人 Scott Cannon、Evans Hankey 和 Tang Tan，以及约 50 名 io 的工程师、设计师和研究人员，现在都已加入 OpenAI。
中兴努比亚启动接入百度文心 4.5 系列开源大模型：提供更具情感化的对话体验，准确快速的文本处理
AI在线 7 月 10 日消息，中兴努比亚今日宣布启动接入百度文心 4.5 系列开源大模型，基于“AI Together”理念持续深化多专家大模型架构，提供更具情感化的对话体验，准确快速的文本处理。 AI在线注意到，百度于 6 月 30 日正式开源文心大模型 4.5 系列模型，涵盖 47B、3B 激活参数的混合专家（MoE）模型，与 0.3B 参数的稠密型模型等 10 款模型，并实现预训练权重和推理代码的完全开源。 目前，文心大模型 4.5 开源系列已可在飞桨星河社区、HuggingFace 等平台下载部署使用，同时开源模型 API 服务也可在百度智能云千帆大模型平台使用。
谷歌 Gemini 人工智能助手即将登陆 Wear OS 智能手表，全面取代 Google Assistant
7 月 9 日消息，谷歌今日宣布，将在未来几周内把 Gemini 人工智能助手引入运行 Wear OS4 及更新系统的智能手表，涵盖 Pixel、三星、OPPO、一加和小米等品牌。 这一举措是谷歌全面用 Gemini 取代 Google . 据IT之家了解，用户可通过“Hey Google”语音指令、长按手表侧边按钮或点击屏幕上的 Gemini 应用图标来启动该功能。
微软大裁员不是终点，而是AI筛选人才的起点
“我们都需要使用 AI 工具。 ” 在裁员风暴席卷后的员工会议上，微软美洲中小企业销售主管特拉维斯・沃尔特的话像一道命令。 他推荐的内部 AI 工具，号称能帮销售人员自动生成方案、抓取客户信息，但潜台词却再清晰不过：学不会这些，下一波裁员名单上可能就有你。
微软开源新版Phi-4：推理效率暴涨10倍，笔记本可运行
今天凌晨，微软在官网开源了Phi-4家族的最新版本Phi-4-mini-flash-reasoning。 mini-flash版延续了Phi-4家族参数小性能强的特点，是专门针对那些受算力、内存和延迟限制场景设计的，单个GPU可运行，适合笔记本、平板电脑等边缘设备。 与前一个版本相比，mini-flash使用了微软自研的创新架构SambaY，推理效率暴涨了10倍，延迟平均降低了2—3倍，整体推理性能实现了大幅度提升。
ASTRO：赋予语言模型搜索式推理能力的创新框架
大家好，我是肆〇柒。 当下大型语言模型（LLM）已深度融入诸多领域，从智能写作到语言翻译，从智能客服到数据分析，其影响力无处不在。 然而，在处理复杂问题时，推理能力的强弱直接决定了模型的实用性。