过去 1 个月里，AI 平均每天解出 2 个以上开放数学题
AymericRoucher · x · 2026-07-23
Aymeric Roucher 转发并反驳“这只是 Anthropic 营销”的说法，引用的原帖称：过去 1 个月里，AI 平均每天解决了 2 个以上开放数学问题。
这条帖子的核心是强调 AI 在数学领域的实际推进速度，另一层含义则是：这些成果到底是扎实进展，还是短期宣传效果，行业仍然存在明显争议。
「模型」频道最新
- Kimi K2.8 Preview 上线：性能接近 K3、1M 上下文全档开放 — teortaxesTex · 2026-09-11
- 有人想给软件工程任务建「形态分类」数据库,好按任务选模型 — StewartalsopIII · 2026-09-11
- 用户呼声下 DeepSeek V4 Pro API 宣布继续服务,计费不变 — teortaxesTex · 2026-09-11
- 第三方实测:DeepSeek V4.1 Flash 达 GPT-6 Astra 98% 分,成本仅 1.4% — ayushtweetshere · 2026-09-11
- TheZhi 发起调查:Fable 5.1 与 Astra 发布后,编码模型选择变了吗 — TheZvi · 2026-09-11
- antirez 谈 Anthropic 禁止未成年人使用 Claude — antirez · 2026-09-11