数学家新博客：探讨 AI 如何重塑数学研究
giannis_daras · x · 2026-09-02
一个名为“Proofs and Prompts”的新博客汇集了包括菲尔兹奖得主在内的数学家对 AI 影响数学的思考。文章涵盖数学定义的变化、对博士生使用 AI 的声明、反向人马问题（LLM 带来的选择困境）以及对人类数学家的投资呼吁。
「漫话AGI」频道最新
- Stuxnet 与网络物理系统的风险向量讨论 — mattbeane · 2026-09-02
- Sarah Guo 对话：AI 前沿、家庭机器人与反垄断思考 — saranormous · 2026-09-02
- 前沿推理模型解迷宫失败率超九成，研究揭示短板 — thebigbigbuddha · 2026-09-02
- 评论称 2028 年 AI 资本支出将超法国预算 — alexeyguzey · 2026-09-02
- Sam Altman 预测：模型将迎来史上最快速度的改进 — tkexpress11 · 2026-09-02
- 评论：AI 洪水淹没社交媒体，生产端与需求端双输 — dotey · 2026-09-02