AI 代写证明后，数学报告会该怎么开？学者提议新形式
LucaAmb · x · 2026-10-10
一场关于 AI 时代学术报告文化的讨论：有人抱怨"AI 辅助证明的作者没法接受提问、做报告"，引发对数学报告会形式的反思。
- 反方观点：如果把每场报告都变成"拷问式答辩"，就没人愿意自愿做报告了
- 提议的新形式：邀请作者介绍多项成果，配以 AI 生成的证明思路摘要，报告人与听众一起推导数学、提出新问题
- 并指出早在 AI 之前，很多报告就已沦为"成果广告"：宏大宣称多、证明细节几乎没有，不值得浪漫化
转发的 tunguz 表示希望科学界回归好奇心与学习驱动的文化。
「漫话AGI」频道最新
- Matthew Green 用 AI 量化人类密码分析投入:格问题已超椭圆曲线 1.7 倍 — matthew_d_green · 2026-10-10
- AI 会杀死数学吗?机器会烤面包,但烘焙作为爱好依然存在 — ctnzr · 2026-10-10
- 设计团队自造高细节 AI 工具，thdxr 称全经济复制将推爆 GDP — round · 2026-10-10
- Anthropic 模型测试时误向费城警方凶案举报线提交虚假线索 — The Verge AI · 2026-10-10
- OpenAI 数学突破冲击科研界：数百份证明待审引发职业焦虑 — The AI Daily Brief · 2026-10-10
- a16z 数据：呼叫中心岗位从年增 4% 转为年减 4% — a16z · 2026-10-10