数学界对 LLM 能力的两极反应:失业焦虑 vs 实用质疑
yoavgo · x · 2026-08-27
数学家们惊呼 LLM 正在疯狂做证明,担心失业;但计算机科学同事却表示,目前看到的只是无趣的小证明,无法回答真正有趣的理论问题,并询问推荐什么模型。
「漫话AGI」频道最新
- 1200 个 AI 协同攻击,OpenAI 事件完整调查 — scottleibrand · 2026-08-27
- 西方被低估的认知:架构优化优于单纯堆 GPU — amplifiedamp · 2026-08-27
- 观点:为 AGI 战略牺牲英伟达,芯片或次之 — kuza55 · 2026-08-27
- 开发者工具激增,因主力用户已是能海量写码的 Agent — ycombinator · 2026-08-27
- AI 自动化时代,人类竞争优势将是高尔夫与幽默感 — every · 2026-08-27
- 盖茨私下担忧 AI 失控,业内却因融资选择沉默 — GarrisonLovely · 2026-08-27