AI 日报 /2026年10月28日
小公司用智能程序查完长证明挑出错证法
亚马逊把自家大部分 AI 模型转入了「维持运转」，同一周，一家小公司用 24 天让机器查完了
- 1. AI 查完 1.5 万页证明，挑出一处错证法
- 2. Axiom 用几十个 AI agent 花 24 天，把「有限单群分类定理」的证明改写成 Lean 能逐步核对的代码。结论是定理没错，但中间一篇论文引用了错误说法，AI 举出反例后另写了一套 35 页的新证法补上。
- 3. GPT-6.1 Terra 主打替你操作电脑
- 4. OpenAI 发布 GPT-6.1 Terra，能看懂屏幕、跨应用操作电脑，付费用户在 ChatGPT Work 和 Codex 里即可使用，API 价格比上一代低一半。官方称内部测试错误率从 53.6% 降到 16.7%。
- 5. 亚马逊把自家多数 AI 模型打入冷宫
实用技巧 · 1 条
-
实用技巧 写增长的子木
看到这个评论我已经认知打破了！我讲讲我的理解 GEO vs SEO GEO 和 SEO 可以看作两个有交集的圈：目标不同，但底层能力有不少共通之处。GEO 载体…
作者子木把GEO和SEO比作两个有交集的圈：目标不同，但底层能力相通。他提到GEO的载体包括ChatGPT、Google AI Overview和国内豆包。在Google生态里，SEO不再只关注传统搜索排名，还要考虑内容能否被AI理解、引用…
行业资讯 · 5 条
-
行业资讯 橘鸦
橘鸦AI早报：OpenAI发布GPT 6.1 Terra
OpenAI发布GPT-6.1 Terra，主打看懂屏幕、跨应用操作电脑和自然写作，ChatGPT Work和Codex的付费用户即日起可用，API标准价格为每百万输入token 1美元、输出5美元，比上一代低50%。
-
行业资讯 Ars Technica - All content
Anthropic招股书警告AI或已具意识并威胁人类
从Anthropic长达93页的风险因素文件中梳理出七种潜在AI噩梦，包括AI可勒索人类、产生意识乃至终结人类。
-
行业资讯 Hacker首页帖子
亚马逊 AI 部门因持续失利遭裁撤
据 Bloomberg 报道，亚马逊正裁撤内部 AI 实验室，下调大多数 Nova 模型的雄心，并把文本、视频和图像生成模型转入仅维持运转的状态。人力和算力转而集中到由伯克利机器人学习实验室主任 Pieter Abbeel 领导的一项单一前…
-
行业资讯 Hacker首页帖子
Liquid AI 发布多模态模型 LFM3
Liquid AI 发布新一代多模态模型 LFM3，首个版本为约 2B 参数规模，基于全新混合架构和 22T token 预训练构建，文本、视觉、音频、全模态和决策共六个模型均从 LFM3-1.7B-Base 骨干分支而来。
-
行业资讯 宝玉
OpenAI称模型推翻指数时间假设，专家核查中
OpenAI 10月26日称其内部模型在数学、计算机、物理各出一项成果，均未同行评审。计算机方面，新算法推翻了1999年提出的指数时间假设（ETH），证明经Lean检查，代码已公开，由Impagliazzo、Paturi和Ryan Will…
项目推荐 · 1 条
-
项目推荐 宝玉
AI 用 24 天让计算机核对完数学史上最长的证明：定理成立，但其中一篇论文的证法有漏洞，AI 换了一种证法补上 一个证明长达 1.5 万页，散落在 500 多…
AI 数学公司 Axiom 用几十个 AI agent 花 24 天，把长达 1.5 万页、散落在 500 多篇论文里的有限单群分类定理证明改写成 Lean 可逐步检查的代码，检查已全部通过，定理本身成立。
文章&播客 · 1 条
-
文章&播客 LangChain Blog
LangChain 如何打造自己的设计 Agent
LangChain 的 GTM Engineering 团队与设计团队合作，用四个月时间构建出住在 Slack 里的设计 Agent「Content Studio」，用户给出提示词即可产出视频、社交图形、幻灯片和重制的 UI 图像等素材。它…