Boaz Baraktcs：更希望看到数学家使用我们的模型证明定理
risteski_a · x · 2026-08-13
Boaz Baraktcs 发推表示，希望 AI 行业在“宣布解决开放性问题时最缺乏尊重”这一基准上持续落后。他强调，虽然展示模型能力是好事，但相比于公司自己下场刷分，看到真正的数学家使用这些模型去证明定理会让他高兴得多。
所属事件:数学家Litt详述AI超人类时代数学界冲击与炒作警示(15 条相关)→
「漫话AGI」频道最新
- 观点：Anthropic 十年内治不好癌症，瓶颈在监管不在智能 — bindureddy · 2026-08-18
- 研究发现 LLM 智能体依赖模仿而非抽象规则推理 — rohanpaul_ai · 2026-08-18
- AI 与机器人或导致资本市场因生产过剩而崩溃 — davidpattersonx · 2026-08-18
- AI 普及化或使原始体能成为未来精英的奢侈分类器 — tedmitew · 2026-08-18
- 博主建议用 AI 导师而非 AI 恋人应对信息过载 — karmicoder · 2026-08-18
- 神经网络是人类发明，还是等待被发现的现实规律？ — drabarca_ai · 2026-08-18