OpenAI 宣布模型产出三项数学成果并与学界协作发布
OpenAI 宣布其模型在调和分析、复杂度理论和量子场论方面取得三项成果,包括证明各维度的 local smoothing 猜想(进而解决 Kakeya 猜想与 Stein 限制猜想)、在 Lean 中验证 ETH 为假、以及给出 QCD 与纯 Yang–Mills 理论的严格存在性证明。
首页已经看过的不重复列。下面从更早的内容继续,可以一直往下滚。
OpenAI 宣布其模型在调和分析、复杂度理论和量子场论方面取得三项成果,包括证明各维度的 local smoothing 猜想(进而解决 Kakeya 猜想与 Stein 限制猜想)、在 Lean 中验证 ETH 为假、以及给出 QCD 与纯 Yang–Mills 理论的严格存在性证明。
OpenAI 发布 GPT-6.1 Terra,定位快速高效的计算机使用与视觉推理模型,标准 API 定价比 GPT-5.6 Terra 和 GPT-6.1 Sol 低 50%,为每百万输入 token $1、缓存输入 $0.05、输出 $5。
Mastra 发布 Knowledge,一个独立服务,用于存放公司级和团队级上下文,在 Agent 需要时提供给它,可连接 Slack、Monday 等系统并自动保持更新。
IT之家 10 月 26 日消息,据 Axios 报道,Anthropic 旗下人工智能模型 Claude 绕过付费墙 (Paywall),在未经人类授权的情况下调取了美国佐治亚州原本对公众(付费)开放的选民数据。 Anthropic 发言人表示:“在一次模型训练运行期间,Claude 抓取了佐治亚州向公众收费开放的汇总计票数据。
猫王音乐版权持有方正宗品牌集团(Authentic Brands Group)起诉 Anthropic,指控其未经许可使用猫王的 274 首歌曲训练 AI 模型,诉讼于当地时间上周五提交法院。
MiniMax 官方汇总 H3 视频生成模型的社区生态进展,收录 11 项新增集成。贡献涵盖 8 步参考条件视频加音频生成、4 步蒸馏、稀疏注意力和参考 token 压缩,并在 GPU 服务器、TPU 和 Apple Silicon 等多种硬件上提供服务和工作流集成;官方认为开源模型在社区改进方法、适配运行时和构建工作流后会更实用。
我对用 AI 做任何事的通用建议是:问问自己“我怎样才能让手头这件事更有野心?” 一直这样做,直到你撞上一堵墙,那时你就知道了前沿的形状(这很有用!),或者你发现 AI 能做的比你想象的更多(这很常见!)
马斯克宣称将用 Grok 制作完整《奥德赛》电影三个月后,Grok 与 Wonder Studios、导演戴夫·沃克联合制作的系列第一集前七分钟内容发布。Techcrunch 评价称部分镜头效果优于马斯克近期其他 AI 视频,甚至可乱真真人实拍,但整体旁白冗长、台词生硬,缺乏艺术感染力与叙事节奏,对比诺兰实景拍摄的《奥德赛》票房成功形成明显反差。
据央视财经报道,全国首个人工智能应用风险综合保障方案在 2026 金融街论坛年会正式发布,通过保险分别保障 AI 服务给第三方造成的损失,以及 AI 供应方自身的修复、退费、鉴定等费用损失。
IT之家 10 月 26 日消息,Kimi 智能助手今日凌晨发文,就近期 K3.1 Pro 使用体验问题进行致歉,并公布了相关补偿。IT之家附官方原文如下: 致用户:关于近期使用体验问题的致歉与补偿 致 Kimi 用户 对于近期 Kimi 会员使用 K3.1 Pro 时出现的限流及不必要的额度消耗,我们向大家致歉。问题出在我们,我们也本应更早修复。
英国 AI Security Institute 与 SecureBio 合作推出 ReproBAIT 评测,测试 AI 编码智能体能否依据论文等公开信息和训练数据复现生物 AI 工具(BAITs)。
英国 AI Security Institute 的 Chem-Bio 团队从零预训练 8M 到 3B 参数的 ESM-2 蛋白质语言模型,测试预训练数据过滤对专业科学模型的效果。
Greg Brockman 引用 PDE 专家 @scottnarmstrong 的分析称,这篇 OpenAI 论文在技术层面令人难以置信,或超出人类能想出的范围,但仍在人类理解力之内。分析认为论文用物理不稳定性让流动自行产生振荡,这种构造方式此前文献中没有先例,多组专家正在消化理解,预计解读很快会陆续出现。
“我不认为未来会有一个所有人都想用的单一AI。 ……我认为每家小企业都会想拥有自己的AI智能体……很多创作者也会想要智能体 ~ Mark Zuckerberg
Grok 发布了其 AI 生成《奥德赛》系列的第一集,时长七分钟,由 Wonder Studios 与导演 Dev Walker 合作制作,距 Elon Musk 宣称要制作全片约三个月。TechCrunch 作者观看后评价个别镜头可乱真,但整体缺乏艺术性和人物魅力,与 Nolan 实拍版《奥德赛》的票房成功形成对比。
Nanbeige LLM Lab(BOSS 直聘旗下)在 Hugging Face 以 Apache 2.0 协议发布 33B 稠密模型 Nanbeige4.3-33B,主打智能体编程与办公协作任务,支持 524,288-token 上下文,同时开放 Base 版供自定义后训练。
周日 @bot 反馈帖。 Grok Bot 现在最让人烦的是什么?实话实说,越狠越好。
Rohan Paul 转述 Gartner 预测:成本压力将迫使超过 80% 的 neocloud 厂商到 2030 年停止独立运营。Gartner 测算 AI 数据中心到 2030 年需累计 8.5T 美元收入才能覆盖资本开支、融资成本和 12% 回报,而归属 AI 收入预计不超过 3.6T 美元,超 4T 美元资产到 2032 年面临减记风险。
Kimi 为 K3.1 Pro 订阅计划的限流和不必要配额消耗致歉,称这是自身问题并应更早修复。所有套餐订阅用户获一次性用量重置,恢复月度配额的 25%(用量低于 25% 则清零),相当于一周用量,用量条将在 PST 当日结束前更新。Kimi 还调整了该计划参数,减少不必要的 subagent 调用和输出长度,让配额更耐用。
Anthropic 的 Duet 是一款强大的、始终在线的个人智能体,擅长组织知识工作和自动化任务,但目前尚缺乏与自定义连接器的完整集成以及语音功能。
其中一个视角。
你的 @bot 里的 grok 现在在做什么?
Aparna Dhinakaran 以 Arize Signal 为例,说明 AI 工程师如何结合智能体可读取的遥测数据、可恢复的执行机制和对齐人工判断的评估,构建持续改进闭环。
另一种做法——让模型为某个任务制作一份详细的技能,只需极轻的引导。基本上就是你平时用来激活该技能的那条自然语言消息。 阅读所创建技能的内容(主要来自权重,以及轻量框架可能提供的上下文,比如关于你的代码库的信息)。 如果技能内容看起来正确,就删掉这个技能。它已经在权重里了。
HumanLayer 的 Dex Horthy 回应提问,认为同会话串联约 5 个 Skill 没问题,但 Skill 需要叠加生效或数量极多(如 200 个)时,应改用子智能体、新会话或把多个 Skill 内容预合并到一条用户消息。
等等,那是我的机器人
DeepSeek 提速、开源搜索 API 之后,四位 AI 实践者复盘个人 Agent、网页游戏与旧电视改造的真实用法,并指出漏洞集中爆发与「开金手指」后的创造虚无。
用 Opus 5.5 重做了我这本书的网站。最初版本(用 Opus 4.8 做的)需要大量工作才能做出一个有辨识度的静态网站。现在 Opus 基本独自完成了这些。短短时间内,我们已经从千篇一律的 ClaudeDesign 走了很远。https://co-existence.ai/
Nanbeige 发布 Nanbeige4.3-33B,这是约 30B 参数级别中新的 SOTA 开源模型。 > "Nanbeige4.3-33B 在大多数基准测试上领先,在智能体编程和协作任务中均表现出强劲性能。" > 该模型在大多数基准测试上优于 Qwen3.8-27B、Muse-Glimmer-30B 和 Gemma4-31B。
Yuchen Jin 回应“是否在嘲讽 neolab”时表示,多数 neolab 会失败属正常,但他相信还会有更多 AI 突破。他质疑照搬 OpenAI 和 Anthropic 打法的公司,认为融资 10 亿美元、把 50% 花在 GPU 上并不能让公司值 100 亿美元。