OpenAI公布数学与理论计算机科学十项进展：AI开始触碰长期开放问题
文章介绍了OpenAI于8月1日公布的数学与理论计算机科学领域十项新进展，涵盖高维球堆积、编码理论、Connes刚性猜想、算术电路复杂度、多色Ramsey数等长期开放问题，既有新上下界也有反例。这些结果由内部版Astra模型生成，总成本仅约2000美元，随后由人类研究者配合整理成论文，并用Lean形式化证明系统验证。作者认为AI在科研中的角色正从读论文、辅助推导走向搜索开放问题、提出新证明、形式化验证与人类审查的闭环。
全部文档 / 作者: FlowOps Daily (@FlowOpsDaily) / 标签: AI
3 篇
OpenMontage：全自动开源视频流水线
OpenMontage 是一款开源的 Agentic 视频制作系统，集成了 100+ 工具和 10+ 流水线。它将研究、脚本、配音、合成等环节交由 Agent 执行，并提供全程可审计的生产看板 Backlot，适合追求成本可控与流程透明的专业视频创作。
WorkBuddy 团队知识库完整搭建方法：让资料被团队和 Agent 反复调用
本文详细介绍了使用 WorkBuddy 搭建团队知识库的完整方法，旨在解决团队资料分散、AI 无法有效复用的问题。文章首先区分了团队空间与项目的不同定位，然后分五步进行搭建：选择真实业务创建空间、先搭目录再倒资料、将确认结果回存、按职责分配权限、将空间添加到任务。最后，文章提供了验收标准、边界说明和升级建议，强调通过最小样本跑通闭环，实现资料的有效管理和复用。