过去 1 个月里，AI 平均每天解出 2 个以上开放数学题
AymericRoucher · x · 2026-07-23
Aymeric Roucher 转发并反驳“这只是 Anthropic 营销”的说法，引用的原帖称：过去 1 个月里，AI 平均每天解决了 2 个以上开放数学问题。
这条帖子的核心是强调 AI 在数学领域的实际推进速度，另一层含义则是：这些成果到底是扎实进展，还是短期宣传效果，行业仍然存在明显争议。
「模型」频道最新
- OpenAI 传 Codex 将加入实时语音与个人助理层 — tinyfool · 2026-07-23
- Kimi K3 开源，竟比 Opus 5 发布更让人期待 — Angaisb_ · 2026-07-23
- 一个 Google 版本号梗，盯上了 Pro 3.5 和 Flash 3.6 — TheZvi · 2026-07-23
- 传闻 Claude Opus 5 近将发布，4.8 已开始路由测试 — koltregaskes · 2026-07-23
- LLaDA2.2-flash 把 128K 上下文和编辑式扩散带进 agent 模型 — pmttyji · 2026-07-23
- 用户抱怨前沿模型越来越少展示推理过程 — BasedRaddka · 2026-07-23