OpenTCS正式上线！
最近看到很多人拿 GPT 去尝试数学里的 open problems，出现了很多有趣的进展。
感觉在这个时间点，一个 open problem 的瓶颈可能不再只是「怎么解」，也可能是：
「它有没有被清楚地提出来、整理好，然后送到合适的模型面前。」
这段时间和朋友们一顿开发，做了OpenTCS。
我们想把散落在论文、survey、workshop notes 和个人主页里的 theoretical computer science open problems 收集起来，并把每个问题的背景、原始文献和相关资料打包成一个 research folder。
打开 folder，就可以直接启动 Codex，开始尝试解决这个问题。

如果 AI 真的正在让解决 open problems 变得越来越快，那么下一件重要的事情，可能就是：

「让更多 open problems 被看见。」

△ OpenTCS

vibecoding agent gpt 数学 机器学习 icml ai工具 AI新手村 nips