Boaz Barak:手写证明时代已结束,数学家该拥抱 AI
FlorianGallwitz · x · 2026-09-27
前 OpenAI 研究员、哈佛教授 Boaz Barak 引用一段 AI 生成的日本俳句视频并表态:手工「凿」证明的美妙时光已经过去,数学家需要接受并拥抱用 AI 探索数学的新时代。
Andrew Curran 转发称「无论什么领域的人都该看看」,这条引用在数学界引发了对 AI 辅助研究定位的讨论。
所属事件:哈佛教授 Boaz Barak：数学手工证明时代已终结(2 条相关)→
「漫话AGI」频道最新
- Floridi 等提出确定性-范围猜想:幻觉是通用 AI 的数学必然 — rvp · 2026-09-27
- 开发者断言：99.9% AI 用例开源模型可胜任，前沿智能是小众市场 — ostrisai · 2026-09-27
- Anthropic AI 生物实验室用约 950 个智能体发现类 CRISPR 病毒 DNA — rvp · 2026-09-27
- 图灵奖得主 Dietterich：Scaling 并非万能，还靠数据与 RLVR — tdietterich · 2026-09-27
- 当读者经 AI 到来:创作者的反馈回路正在断裂 — scottleibrand · 2026-09-27
- 生成式 AI 让产出容易 10 倍,但产出好东西只容易 10% — charles_irl · 2026-09-27