OpenAI 模型推翻近 30 年 ETH 假设，次日完成 Lean 形式化【AI 早报 2026-10-27】 OpenAI 模型推翻近 30 年 ETH 假设，次日完成 Lean 形式化【AI 早报 2026-10-27】 今日最重的内容集中在 OpenAI：模型在 10 月 16 日生成对指数时间假设的反证...
每天 10 亿 token 免费，Kimi-K3 旗舰也白给——七牛云这波 1024 节真大方 七牛云 1024 节：Conatus Free 认证后每天 1 亿 token 免费，充 100 块押金升到每天 10 亿（可提现）。Kimi-K3 旗舰也免费！1M 上下文、128K 输出。活动到 11.30。
DeepSeek 旗舰免费到月底，腾讯这个 AI 工作台我劝你赶紧装 腾讯 WorkBuddy 国际版：DeepSeek V4.1 Flash 免费延长至 10 月 31 日！0 倍率、1M 上下文、原生多模态、每日免费+无限额度。AI 专家团 100+ 领域专家，一句话交付完整结果。还剩 7 天。
Anthropic递表：营收162.86亿美元、净亏807亿【AI 早报 2026-10-27】 Anthropic递表：营收162.86亿美元、净亏807亿【AI 早报 2026-10-27】 Anthropic 向美国证券交易委员会递交 S-1 招股书：2026 年上半年营收 162.86 亿...
Opus 5.5 十小时复现 500 页量子引力推导【AI 早报 2026-10-26】 Opus 5.5 十小时复现 500 页量子引力推导【AI 早报 2026-10-26】 伊斯坦布尔技术大学教授把博士期间耗时一年、近 500 页的手算过程喂给 Claude Opus 5.5，10 ...
5B 小模型，4 天 130 万下载——复旦这波让海外社区炸了 MOSS-Image：复旦开源的 5B 生图模型，4 天 130 万下载、登顶 HF 文生图趋势榜。单次生成含文字的整图、布局指哪打哪、4K 长提示词、6GB 显存训 LoRA。背后模思智能刚融 10 亿。
GPT-6 Astra 攻破 Siegel 零点难题，证明压缩至 5 页【AI 早报 2026-10-26】 GPT-6 Astra 攻破 Siegel 零点难题，证明压缩至 5 页【AI 早报 2026-10-26】 OpenAI 在 10 月 6 日一次性公开 700 多篇数学手稿，其中 8 页的《一致排...
Kimi K3.1 Pro 发布：3 万亿参数、百万上下文【AI 早报 2026-10-25】 Kimi K3.1 Pro 发布：3 万亿参数、百万上下文【AI 早报 2026-10-25】 Kimi K3.1 Pro 以 3 万亿参数、百万 Token 上下文和 68 元/百万 Token 输...
Kimi K3.1 Pro 3万亿参数登顶国产第一，价格仅 GPT-6 Astra 两成【AI 早报 2026-10-25】 Kimi K3.1 Pro 3万亿参数登顶国产第一，价格仅 GPT-6 Astra 两成【AI 早报 2026-10-25】 月之暗面 11 月 4 日前开源 3 万亿参数级 Kimi K3.1 Pr...