最新更新

首页已经看过的不重复列。下面从更早的内容继续,可以一直往下滚。

2026-11-05

Axiom Math 发布 Stacks Project 的 16M 行 Lean 形式化库

Axiom Math 发布对整个 Stacks Project 的形式化,共 16M 行 Lean 代码,由其 agent swarm 以类似工程组织的方式分工完成,Lean 逐条检查每个证明。62,975 个 Lean 文件、663,090 个声明建立在 Mathlib 之上,每个带 tag 的结果都链接到原文和依赖。

AIHOT 最近七天技术与使用
2026-11-05

Agent Arena 数据显示长程任务模型每小时成本最大相差 66%

Agent Arena 统计近 14 天近 30000 个任务运行超过一小时,平均模型每小时发起 332 次工具调用。长程任务上模型选择最多可省 66% 成本:Gemini 4 Carbon 每小时任务中位成本 $10.51,Claude Opus 5.5 为 $21.13,GPT-6 Astra 为 $31.08。

AIHOT 最近七天技术与使用
2026-11-05

Apple 警告内存芯片涨价将使假日季毛利率从 48% 降至 45%

Apple 警告假日季毛利率将从 9 月季度的 48% 降至 45%,原因是内存芯片价格大涨。CEO John Ternus 在首次财报电话会上称定价“前所未有”,并预计成本在 12 月后继续上升;内存一项使 9 月季度毛利率约降 1 个百分点,营收同比增长 12% 至 $114.5B。

AIHOT 最近七天产品与动态
2026-11-05

Agent Arena 评测:复杂任务上 Gemini 4 Argon 与 MiMo-V2.6 崛起

Arena 发布 Agent Arena 评测观察,称任务越复杂时 GoogleDeepMind 和 Xiaomi MiMo 是最大赢家。便宜任务上 OpenAI 和 Anthropic 占据 11 个前沿席位中的 10 个,但在最贵 5% 会话中只占 7 个,空出的席位由 Gemini 4 Argon 和 MiMo-V2.6 Flash/Pro 补上。

AIHOT 最近七天技术与使用
2026-11-05

Perplexity Computer 助龙虾商广告增效

Computer 为 Get Maine Lobster 管理了 3 万美元的 Meta 广告支出,表现优于其代理机构。 与其常规广告相比,Computer 带来了 3.5 倍的收入,ROAS 高出 63%。它自动化了创意分析、广告制作和媒介购买。 阅读更多:https://pplx.ai/gml

AIHOT 最近七天市场与数据
2026-11-05

OpenClaw 支持腾讯混元 Hy4 模型

OpenClaw 宣布支持腾讯混元 Hy4,模型具备视觉能力、1M-token 上下文窗口以及改进的编码和长程智能体能力。用户可通过 Tencent TokenHub、TokenPlan 和 OpenRouter 使用,详情见 https://hy.tencent.ai/research/hy4。

AIHOT 最近七天技术与使用
2026-11-05

Artificial Analysis 改用每任务耗时作为 API 性能核心指标

Artificial Analysis 更新 API 性能基准,将"每任务耗时"(Time per Task)设为核心指标,衡量模型完成任务的总时长而非 token 流式速度,覆盖其每日多次测试的约 1,000 个 serverless 端点。

AIHOT 最近七天配套与服务
2026-11-05

Unsloth 发布 Qwen3.8-Flash-Next GGUF

我们发布了新的 Qwen3.8-Flash-Next GGUF,准确率提升 15%。 Unsloth Dynamic V3.1 在 Terminal Bench、DeepSWE 等基准上比其他方案高出 >15%(256K 上下文)。 可在 32GB+ 内存的设备上运行。

AIHOT 最近七天产品与动态
2026-11-05

Apple Intelligence 国行版登陆 iOS 27.3 beta,由千问替代 ChatGPT 角色

Apple Intelligence 已在 iOS 27.3 beta 中国区上线,由阿里千问(Qwen)承担 ChatGPT 在其他市场的位置。设置分两步:开启 Apple Intelligence(约 7GB 端侧模型下载)后授权 Qwen。实测中仅当本地模型无法完成的任务才调用 Qwen,部分任务会跳转到其 App。

AIHOT 最近七天市场与数据
2026-11-05

Google AI Studio 语音重混功能

想调准你的语音方向,试试在 @GoogleAIStudio 里用“Remix this voice”🪄 在那里,你可以并排试听三个生成的版本,挑选喜欢的继续重混,并保存下来以便在不同脚本和多说话人场景中复用。

AIHOT 最近七天产品与动态
2026-11-05

Gemini 3.8 Flash TTS 上线 Voice Remixing,支持用提示词微调声音

Google 宣布 Gemini 3.8 Flash TTS 的 Voice Remixing 功能已在 Google AI Studio 和 Gemini API 上线。用户可从 2000+ 预设声音库或自定义声音起步,用提示词微调音色、音高、语速和口音,例如加轻微美国南方口音或让它听起来像喷火龙。

AIHOT 最近七天配套与服务
2026-11-05

Grok Bot 的 Pages 功能详解

Grok Bot 中的 Pages 0:15 什么是 Pages? 0:40 一个示例页面 1:34 分享页面 1:55 技巧:使用你的数据 2:46 @X 帖子 3:44 回顾

AIHOT 最近七天产品与动态
2026-11-05

llama.cpp 相关报告链接分享

@Llama_app @ggml_org 以及实际报告的链接: https://github.blog/news-insights/octoverse/octoverse-commits-pushes-reach-new-highs-in-2026-as-developers-build-with-agents/

AIHOT 最近七天产品与动态
2026-11-05

llama.cpp v0.9.0 发布,迈向 v1.0.0

今天我们发布 llama.cpp v0.9.0,接下来几周我们将朝着首个重要版本 v1.0.0 迈进 https://github.com/ggml-org/llama.cpp/releases/tag/v0.9.0

AIHOT 最近七天产品与动态
2026-11-05

Manus 支持把照片变成可玩的 3D 版自己并内建角色动画

Manus 演示可将照片转成可玩的 3D 版自己,走进用 Manus 创建的世界。其 3D 游戏构建已内建角色绑定与动画,能生成流畅且有表现力的角色动作,过去需要专人数小时完成的工作现在默认包含。

AIHOT 最近七天产品与动态
2026-11-05

Viggle 发布视频转换 Agent Viggle Remake 并开放权重

Viggle 发布视频转换 Agent Viggle Remake,并同日开放模型权重。支持替换场景中角色并保持跨镜头一致、更换物体与背景、改风格或加 VFX,最长 2 分钟,可继续对话修正任意镜头;720p 价格从每 10 秒 $0.96 起,低于 Higgsfield Genjutsu 的一半。

AIHOT 最近七天技术与使用
2026-11-05

数据中心成为美国中期选举输家:多州候选人支持暂停建设

The Verge 报道称,数据中心开发商在美国中期选举后面临更受限的建设环境,投票者选择了支持暂停建设或设置更多扩建障碍的候选人。NBC News 民调显示 76% 的受访者反对在所在社区建数据中心;全国 45 项地方 ballot 措施中,33 项结果将限制数据中心开发,如俄亥俄多市禁止超过 25MW 的数据中心。

AIHOT 最近七天产品与动态