Math, Inc. 发布 Gauss 自动形式化 agent，数学研究者视作转向信号
layer07_yuxi · x · 2026-09-17
Math, Inc. 的 Gauss autoformalizer（自动形式化 agent）引起数学圈关注。一位研究者称这个 agent 的表现「相当了不起」，被视为 PhD 级数学 AI 已经到来的强烈信号，促使他们重新评估研究方向。帖中链接了一篇关于 Gauss agent 的笔记，是目前少见的第三方一手观察材料。
「模型」频道最新
- Claude $200 计划配额削减生效，实测价值从 $7200 降至 $6000 — dotey · 2026-09-17
- 开发者实测：小模型做越狱提示词预筛，比 GPT Luna 更准更便宜 — mayfer · 2026-09-17
- 评测机构揭示:九成跑分不一致源于实验室放宽了超时上限 — xeophon · 2026-09-17
- TypesafeAI 发布零样本分类器 Jev，聊天数据标注成本大降 — yenkel · 2026-09-17
- 吐槽变真香：博主发现某 AI 订阅计划无任何用量上限决定付费 — MaziyarPanahi · 2026-09-17
- 神秘模型 Union 疑似 Mistral：只回最终答案、隐身测试无推理开关 — mariofilhoml · 2026-09-17