OpenAI 推出面向高校科研人员和博士后的 ChatGPT for Academic Researchers 计划，提供最多 5 个座位的独立 workspace，本质是把科研从一次性问答推向可承接项目上下文的团队工作台。文章介绍了如何搭建科研 workspace（研究问题、资料、方法、代码、输出五区），强调文献综述应先做文献矩阵而非让 AI 直接写，代码与数据分析要接入同一条研究链，并给出普通科研人可执行的六步流程、小课题组分工方案、AI 与人工的任务边界，以及一套可直接复制的提示词模板。
OpenAI 于 8 月 1 日公布了数学与理论计算机科学方向的十项新进展，涉及几何、密码学、复杂性等长期问题。这些成果来自下一代模型 Astra 的内部版本，配套了 253 页论文、推理叙述和 Lean 形式化证明仓库。文章强调，这不仅是模型能力的展示，更标志着 AI 从生成文本转向生成可验证的研究产物。作者提醒读者不要过度解读为“AI 替代数学家”，而是关注其带来的可验证输出标准，这对未来 AI 工作流和科研模式具有深远影响。
文章介绍了OpenAI于8月1日公布的数学与理论计算机科学领域十项新进展，涵盖高维球堆积、编码理论、Connes刚性猜想、算术电路复杂度、多色Ramsey数等长期开放问题，既有新上下界也有反例。这些结果由内部版Astra模型生成，总成本仅约2000美元，随后由人类研究者配合整理成论文，并用Lean形式化证明系统验证。作者认为AI在科研中的角色正从读论文、辅助推导走向搜索开放问题、提出新证明、形式化验证与人类审查的闭环。
