实测 Opus 5 High 自动形式化 76 页论文需约 40 天
kfountou · x · 2026-09-19
一位研究者估算用 Opus 5 High 自动形式化一篇 76 页的计算学习理论论文(离散有限自动机方向)需约 40 天,还不含人工校验翻译的时间。作者判断:这不如资深博士生,但明显强于一年级博士生——结论是 auto-formalization 目前仍然太慢。
「模型」频道最新
- 用户呼吁 OpenAI 按月重置订阅额度:扣费时应恢复 100% 用量 — arthurcolle · 2026-09-19
- 用户痛斥 OpenAI 语音模式：非英语体验像未完成品 — Angaisb_ · 2026-09-19
- Yandex 开源 AliceAI-80B：从头训练 MoE 模型，262K 上下文 — cephaloform · 2026-09-19
- Muse Spark 1.3 低价档上线优化,基准差异仅 1-2% — alexandr_wang · 2026-09-19
- 腾讯混元 3.5 未正式发布已现身 OnSolo,画质实测惊人 — HeyAmit_ · 2026-09-19
- 开源模型拿下 56% 生产 token 量，Vercel 网关月度数据出炉 — cramforce · 2026-09-19