精选70Przemek Chojecki | PC论文研究
科学家与LLM协作证明数学定理的对话循环
This paper is a great example of how scientists can work with LLMs in a conversa…
This paper is a great example of how scientists can work with LLMs in a conversation loop:
这篇论文是科学家如何在与LLM的对话循环中工作的一个很好的例子：
Human: pick a problem, start counterexample search LLM: initial arguments, stuck Human: refine the search space LLM: found the first construction Human: analyze and generalize the construction, streamline arguments LLM: build the full class of constructions Human+LLM: write the paper
人类：选择一个难题，开始反例搜索 LLM：初步论证，陷入困境 人类：细化搜索空间 LLM：找到第一个构造 人类：分析并推广构造，精简论证 LLM：构建完整的构造类 人类+LLM：撰写论文
更进一步：量化金融体系
看懂新闻只是起点——沿量化金融路径，把它变成能交付的工程能力