SIGMA 开源:面向多策略数学探索的研究工作台
bkramerext 在 GitHub 开源 SIGMA(Strategy Investigation, Generation, Measurement & Assessment),一个面向多路径问题研究的工作空间,可将调查组织为可发展、比较、搁置的策略,并保留研究历史。它支持以 ChatGPT 作为协作者生成策略建议(经人工审核后保存),手动研究无需 AI 账号,项目数据保存在本地。目前支持 macOS 和 Linux,需 Python 3.11+、uv、Node.js 20.19+ 和 npm;自主研究智能体与形式化证明验证仍为未来目标。