#开源/仓库
跨栏目找相关项:同一话题的工具、提示词、论文,可能横跨数天甚至数月才凑齐。
#开源/仓库
今日 0 条研究 · 工具·提示词·论文 三栏速览
每栏 6 / 6 · 直达分类页查看全部
提示词
6 条当用户的某个意图（如last_intent）尚未处理完成时，自动提示用户并继续处理该业务。
写作cloud.baidu.com为电商平台机器人客服提供开场白、常见问题回复和结束语的话术模板参考。
写作insight.xiaoduoai.com智能客服机器人与访客互动的对话模板（欢迎新访客、欢迎回头客、显示常见问题等）。
写作zhuanlan.zhihu.com服装加工合同模板，含甲乙双方信息及加工委托条款
写作xiaobaogong.com用于合同审查场景，让大模型扮演特定行业、特定立场的合同审查专家，平衡利益与风险。
研究blog.csdn.net帮助分析患者症状，提供可能的诊断方向和建议，适用于初步诊断筛查。
研究cgwgpts.com
论文
6 条Hacker News · 首页AI 评分2121 Lean 中由 AI 辅助完成 11 个正方形最优填充的完整证明
一个使用 Lean 的项目通过 AI 辅助生成并由 EvolvingPrograms 完整验证运行通过，完成了 11 个正方形最优填充的完整最优化证明。验证接受全部 7,920 个本地 Lean 模块，最终审计报告零许可项，并依赖 Lean kernel 与原生编译器。
Hacker News · 首页AI 评分4141 OpenWAM：面向可组合世界-动作模型的开源框架
OpenWAM 是一个面向机器人操作的世界-动作模型开源框架，将 Wan2.2-5B 视频模型与 2B 动作专家在 Mixture-of-Transformers 架构中结合，预训练使用约 334 万条轨迹、14.64k 小时视频。
Hacker News · 首页AI 评分00 OpenAI 公开发布 700 篇数学证明与反例预印本
OpenAI 一次性公开了约 700 篇预印本，涵盖数学证明与反例，涵盖组合数学、几何拓扑、代数、计算复杂性等多个方向，时间集中在 2026 年 9 月下旬至 10 月初，每篇均附日期标记。
Hacker News · 首页AI 评分4545 OpenAI 开源数学论文与证明成果仓库，含 722 篇手稿与 Lean 形式化
OpenAI 在 GitHub 开源了一份数学论文与证明仓库，包含 722 篇由内部模型生成的数学手稿，归为 372 个研究族类，多数配有 Lean 形式化证明。模型被投喂约 4,000 个开放问题，平均每项结果使用 3 小时 ChatGPT Pro 思考算力，部分成果涉及黎曼 ζ 函数无零点区域与 Hodge 猜想证明。
Reddit · r/MachineLearningAI 评分1717 论文 "Learning to Learn a Language"：用合成非语言先验实现自然语言上下文学习
一篇名为"Learning to Learn a Language"的论文提出在上下文学习自然语言的方法，用从随机循环因果模型采样的合成序列作为先验，训练一个 300M 参数的 byte-level Transformer，仅用这些合成序列训练后即可在测试时预测真实语言。
Reddit · r/LocalLLaMAAI 评分4444 用闭式轨迹权重手术把 Qwen 3.5 4B 能力迁移到 0.8B：中间层为何崩溃及 4 个锚点块如何修复
研究者提出一种跳过反向传播的闭式轨迹匹配方法，通过正则化最小二乘和谱投影直接把 Qwen 3.5 4B 的层间隐藏状态轨迹迁移到 0.8B 学生模型；起初编辑全部 24 层导致 NLL 暴涨 64.78%。
Reddit · r/LocalLLaMAAI 评分1313 AnyJev：把任意 LLM 转为 Jev 式决策模型的 Nokia 应用研究项目
Nokia 应用研究中心发布 AnyJev 项目，可在单次前向传播中从 LLM 内部状态直接得出可信决策，无需生成循环、解析或微调。该方法可将大语言模型改造为快速、低成本且确定性输出的分类器，把生成式模型转为推理型决策模型。
Reddit · r/LocalLLaMAAI 评分00 Context Language Models 论文解读：让模型像编辑文件一样动态修改上下文
一篇新论文提出 Context Language Models，让模型在推理过程中像编辑文件一样实时修改上下文，可在长时任务、编程与深度研究上提升表现并降低显存占用。
Reddit · r/MachineLearningAI 评分1717 用十亿棋谱蒸馏 Stockfish，3.9B 位置数据集在 Hugging Face 开源
用户 microscope1024 将 Stockfish 价值函数蒸馏到一个 ResNet/ViT 模型中，训练数据来自 Gigafish 的一亿个棋谱位置，对应的 39 亿位置完整数据集已在 Hugging Face 上发布，由 Lichess 37 个月对局生成；实验发现纯 ViT 难以理解棋盘，CNN 凭借归纳偏置训练初期表现更好，CNN 与 ViT 结合时效果最佳。