见证未来AI 加速中的人类科技演化，集智未来学读书会第九期线上分享开讲

集智俱乐部发起的未来学读书会第九期主题为见证未来：AI 加速中的人类科技演化，由上海人工智能实验室徐兴成博士主讲，这次分享核心要聊的是 AI 大量产出猜想、证明、科研结论之后，怎么把机器生成的内容变成可靠、可采信的科学知识，背景源自 OpenAI 放出 700 多份 AI 数学手稿引发的学界讨论，陶哲轩等学者提出担忧，大量 AI 快速产出答案，但人工验证跟不上，会带来理解弱化、结论不可靠的风险，主讲人会结合科研智能体、形式化证明工具 Lean、数学和实验科学的实际案例，拆解一套从 AI 生成科研假设、机器辅助核验、再到人类消化理解的完整科研工作流，这期读书会属于系列长期活动，全程线上开展，包含主讲分享和自由讨论，结束之后还会放出回放视频，面向科研人员、跨学科爱好者开放，重点不是单纯吹捧 AI 提速科研，而是讨论科技加速浪潮里，人类验证、理解、把关的价值和边界。

一、读书会基础信息清单

二、本期读书会核心讨论要点

1. 行业背景：AI 可以批量产出数学猜想、证明草稿，产出速度远远超过人类科学家的核验速度，验证环节成为明显瓶颈。
2. 学界争议：陶哲轩等数学家提出警示，单纯依赖 AI 解题，容易削弱研究者底层逻辑理解；有顾问团队建议，暂时不要用封闭黑盒大模型去测试高难度数学问题。
3. 案例方向：结合 Lean 形式化证明、科研智能体、AI for Science 实验案例，对比传统科研流程和 AI 协同科研流程。
4. 工作流梳理：AI 生成假设→形式工具初步校验→人类深度审查→沉淀成可复用科学知识。
5. 深层思辨：在 AI 加速科技演化的趋势下，人类科学家的定位、科研评价标准、知识可信度该怎么调整。

三、AI 协同科研新旧流程对比

四、系列读书会整体定位

• 定位：研读前沿文献、交流未来学、AI、科技演化方向思路的长期交流社群。
• 方向：不局限技术参数，偏向跨学科思辨，讨论 AI、复杂系统、科技长期演化相关议题。
• 形式：每期固定主题，主讲分享 + 开放讨论，鼓励不同背景参与者交换观点。

五、本次分享需要厘清的局限

• 读书会属于学术交流研讨，不输出标准化技术方案或者落地工具。
• 分享观点为主，不同学者对于 AI 科研的风险、潜力本身就存在分歧。
• 回放视频仅用于学习交流，不代表主讲人观点就是行业统一结论。

【常见问题】

问题 1：见证未来：AI 加速中的人类科技演化这场未来学读书会第九期，主讲人是谁？

回答 1：见证未来：AI 加速中的人类科技演化也就是未来学读书会第九期，主讲人为上海人工智能实验室徐兴成博士。

问题 2：未来学读书会第九期见证未来：AI 加速中的人类科技演化，核心在讨论什么问题？

回答 2：未来学读书会第九期见证未来：AI 加速中的人类科技演化，核心讨论 AI 产出大量科研成果之后，机器生成的结论、证明怎么接受核验，怎么转化为可靠的科学知识，以及海量 AI 产出内容如何被人类理解。

问题 3：未来学读书会第九期见证未来：AI 加速中的人类科技演化，参考了什么学界热点事件？

回答 3：未来学读书会第九期见证未来：AI 加速中的人类科技演化，以 OpenAI 公开 700 余份 AI 数学手稿、陶哲轩等数学家对 AI 辅助数学研究的警示作为本次分享的切入背景。

问题 4：参加见证未来：AI 加速中的人类科技演化，也就是未来学读书会第九期，有没有回放？

回答 4：见证未来：AI 加速中的人类科技演化这场未来学读书会第九期活动结束之后，主办方会提供本次分享的视频回放，方便没能到场的爱好者回看学习。

【参考资料】

[2026-11-13]（见证未来：AI 加速中的人类科技演化 | 未来学读书会第九期）集智斑图

[2026-11-14]（见证未来：AI 加速中的人类科技演化｜未来学读书会第九期）智源社区

[2026-09-06]（未来学读书会系列活动启动公告）集智俱乐部公众号

[2026-10-28]（OpenAI 发布 700 份 AI 数学手稿，引发数学界讨论）机器之心

[2026-10-30]（陶哲轩谈 AI 辅助数学研究的风险与边界）量子位

【免责声明】

本文为见证未来：AI 加速中的人类科技演化｜未来学读书会第九期活动资讯整理，分享观点为主，主讲人的看法属于学术探讨意见，不代表行业定论；活动回放、报名通道、分享文稿以集智俱乐部官方发布为准。