Claude 形式化数学问题时语出惊人
burny_tech · x · 2026-08-17
分享了一段使用 Claude 形式化集合论中 Erdos 问题的截图，模型的输出内容因过于激进或离谱而引发搞笑效果（具体内容需看截图）。
「Fun」频道最新
- 用 Luma Agents 制作的 AI 统治世界短片 — Kyrannio · 2026-08-17
- 特斯拉 FSD V14 高公路避撞实测全视角 — aelluswamy · 2026-08-17
- AI研究员再吐槽：别跟我提水印检测的误报率和漏报率 — dpaleka · 2026-08-17
- AI大V吐槽：很多AI网红连token是什么都不知道 — dpaleka · 2026-08-17
- Gary Marcus 吐槽 Anthropic 网站故障 — dpaleka · 2026-08-17
- 观点：九成 LLM 用户不了解采样机制 — cephaloform · 2026-08-17