数学家补充：模型不只是一次性解题，专业数学家正这样用 AI
littmath · x · 2026-09-05
littmath 为其前一条长帖补充说明：为自己的长篇自白致歉，但希望展示除「一次性解题」外，模型还可以如何被用于做数学，以及部分专业数学家如何看待这件事。此帖为前帖的简短跟进，无新增实质信息。
所属事件:普林斯顿数学家自述：AI 首次在其十年难题上产出漂亮结果(2 条相关)→
「研究」频道最新
- 指标口径变更会骗过 Agent：开发者提出专属 eval 设计思路 — jylusdev · 2026-10-23
- ruff 作者发问：AI 芯片设计从 RISC-V 扩到 x86 有多难 — charliermarsh · 2026-10-23
- Transformer 联合建模电子与磁性，能量误差仅 0.01% — bravo_abad · 2026-10-23
- Google Cloud AI 发布 PLE 基准：所有前沿模型真实工程任务得分不足 50% — sainingxie · 2026-10-23
- AI×Bio 48小时爆发：OpenAI 收购 Orchestra Bio 等 16 条动态 — vaibhavbetter · 2026-10-23
- Anthropic 携手 Theorem 做形式化验证,PL 学界罕见集体兴奋 — xennygrimmato_ · 2026-10-23