2026 年 11 月 7 日 · 星期六AI · 每日要闻每天 08:00 出刊
AI 日报 · 2026 年 11 月 7 日 · 星期六
MYHOT
第 23 期072026 年 11 月星期六
十一月本月 7 期
一二三四五六日
4件大事4个来源0件一手发布约 2 分钟读完
头条
PSI 用 AI 研究系统证明 Aaronson-Ambainis 猜想
Physical Superintelligence（PSI）用内部研究系统配合非公开 Anthropic 模型，证明了自 2008 年悬置的 Aaronson-Ambainis 猜想，Lean 在运行第三天接受了完整证明。
Hacker News原文 模型发布/更新
The Decoder另有 2 家信源报道Thinking Machines 发布 Inkling 2 Small，称其为最强西方开源权重模型
Thinking Machines 发布第二代模型 Inkling 2 Small，采用 MoE 架构，总参数 594B、激活参数 17B，支持文本与图像输入并可调节思考深度。
行业动态
TechCrunch · AIRamp 数据显示 AI 支出停滞，Anthropic 临近 IPO
Ramp 报告显示，8 月至 9 月企业 AI token 支出仅增长 1.5%，而 7 月环比增长 42%，同期 token 用量仍在上升。Ramp 首席经济学家 Ara Kharazian 认为，OpenAI 与 Anthropic 的降价和企业折扣压低了收入增速，Anthropic 在申报文件中称降价使其收入增长减少约 6 亿美元。
论文研究
Hacker News手稿称整数在有理数中可用丢番图方程定义
Elliot Glazer 于 11 月 5 日发布手稿，构造出一个固定整系数多项式，使有理数 q 为整数当且仅当存在 292,890,231,904 个有理数见证变量使 P(q,w)=0，总变量数含输入为 292,890,231,905，次数小于 2↑↑7，系数绝对值小于 2↑↑8。