GPT-6 Astra联手数学爱好者证明57年「摆圆」难题,N≤20最优排列获严格证明
10月12日,一名数学爱好者与OpenAI的GPT-6 Astra模型联手,将困扰数学界57年的「圆盘装箱」难题推进到了新的里程碑——N≤20的所有情况均获得严格证明。 57年悬而未决的经典难题 「摆圆」问题的标准表述是:给定N个半径为1的…
10月12日,一名数学爱好者与OpenAI的GPT-6 Astra模型联手,将困扰数学界57年的「圆盘装箱」难题推进到了新的里程碑——N≤20的所有情况均获得严格证明。 57年悬而未决的经典难题 「摆圆」问题的标准表述是:给定N个半径为1的…
# WorldVQA 是什么:评估多模态大模型原子视觉世界知识的3500题基准 **一句话结论**:WorldVQA 是月之暗面发布的视觉世界知识评测基准,包含3500道图片问答题目,覆盖自然、地理、文化、产品等9大类别,用于衡量多模态大模…
# Kimi Agent Swarm 是什么、怎么用:100个子AI并行工作,自组织团队架构解析 **一句话结论**:Kimi Agent Swarm 是月之暗面推出的自组织多智能体系统,单次任务可动员最多100个子Agent并行工作,相比…
10月12日,SpaceXAI 官方账号正式更名为”SpaceX Super Intelligence”,平台句柄同步更换为 @SpaceXSI。更名并非简单的品牌更新——SpaceX 正从一家以火箭与卫星业务著称的…
10月12日,AI 基础设施公司无问芯穹宣布完成 23 亿元 C 轮融资,单轮融资规模与累计融资额双双刷新国产 AI 基础设施赛道历史纪录。此前,该赛道单轮最大融资额不足 20 亿元。 累计融资 43 亿元刷新 AI 基础设施赛道双纪录 本…
10月12日,有读者在社交平台晒出荒诞一幕:捧读实体书《终焉路独行》时,正文中冷不丁插进一句”需要我再微调部分语句,让整体文风更贴合悬疑灵异的氛围吗?”——一句活脱脱的AI助手口吻,令沉浸感瞬间崩塌。耐人寻味的是,同…
10月12日,《星期日泰晤士报》发布2026年英国富豪榜,46岁数学家亚历克斯·格尔科凭借AI量化交易以160.06亿英镑(约合人民币1417.40亿元)身家跻身第八位,较2025年增加72.61亿英镑,过去一年平均每天财富增长约1.7亿元…
Kimi K3 技术报告深度解读:2.8 万亿参数 MoE 架构、100 万 token 上下文、90% 编码缓存命中率 核心结论 月之暗面于 2026 年 7 月 27 日发布 Kimi K3 开放权重和技术报告,披露了这款 2.8 万亿…
Claude Opus 5.5 Max 深度分析:登顶 Arena 智能体榜首,17.29% 确认率意味着什么 核心结论 Anthropic 最新模型 Claude Opus 5.5 Max 首次登上 Arena 智能体榜即夺冠,任务确认成…
10月12日,据知名科技记者马克·古尔曼披露,苹果计划于10月13日发布新一代智能家居产品,包括搭载A18芯片的智能家居中枢HomeView、搭载S10芯片的新款HomePod mini,以及搭载A19芯片的Apple TV。这是苹果近三年…