「数学猜想库」共找到 601 篇相关文章
LLM 仅靠自身就能增强推理？SePT 给出简洁在线自训练范式
多数推理后训练方法依赖外部信号，SePT仅用模型自身生成的答案自训练，能提升推理能力，数学推理任务准确率升10个点。它核心简洁，设计关键是温度解耦等，不损模型通用能力，代码易迁移复现。
AI 智能体界的 npm 来了！Vercel 推出 Skills.sh，欲统一智能体指令集
Vercel 发布开源项目 Skills.sh，为 AI 智能体打造“标准动作库”，让其通过命令行执行可复用操作。它是开放生态，开发者能定义、分享指令。项目获广泛关注，社区认为其实用性强。
chardet 从 LGPL 变 MIT：一场 AI 重写引发的开源风波
Python 编码检测库 `chardet` 发布 `7.0.0` 后，许可证从 `LGPL` 变为 `MIT`，维护者称借助 Claude Code 重写。原作者反对，认为维护者无权重新授权。维护者给出辩护，社区反应激烈，争论涉及多个法律问题和不同立场。
本地运行OpenAI Whisper语音识别模型，Unity3d环境下高性能离线转写解决方案
这是为whisper.cpp提供的Unity3D绑定库，能在本地设备高性能运行OpenAI Whisper自动语音识别模型推理。支持多语言识别与翻译，有不同大小模型，可本地运行，还介绍了使用方法。
刚刚，GPT-5.5 Instant全员免费！数亿人的ChatGPT变了
OpenAI深夜推出GPT - 5.5 Instant，全面接管ChatGPT默认模型且全员免费。它亮点诸多，如幻觉率暴降、数学成绩提升、回复字数减少、记忆和个性化功能升级等，三个月后GPT - 5.3将退役。
用Diffusion构建「AI虚拟细胞」，14项指标霸榜！Mila唐建团队破解单细胞「破坏性」测序难题
Mila唐建团队发表PerturbDiff，跳出前人认知盲区，将“细胞群体的概率分布”视为随机变量。它引入数学工具建模，让MMD内生于体系，在多项基准测试霸榜，还提供应对数据稀缺的思路。
EMNLP 2026高分论文MathDebugger：当合成数据涌入训练集，如何为数学题做体检？
随着合成数据增多，模型需判断数学数据题目能否被信任。北大DCAI团队提出MathDebugger质检BenchMark，覆盖问答两端，评测主流LLM和PRM。还探究能否判断正误、分类错误、修复数据，证明错误标签可作监督信号。
python打造Google(A2A)+MCP，Langchain生态互补
文章介绍Google的Agent2Agent（A2A）协议，它能实现AI代理通信协作，打破平台孤岛。还提及MCP协议，二者互补。重点介绍python - A2A库，它实现A2A规范，与多框架、模型集成，给出实战示例。
OpenClaw最佳工具榜来了！这6款龙虾最受欢迎
OpenClaw生态火了，第三方搭建的OpenClaw Directory网站收录39个相关工具，按功能分类，支持筛选排序。文中介绍总榜前六工具，如Claw for All简化部署管理，OpenClaw Launch 30秒一键部署等，网站还有教程库。
刚刚，Ilya又发神图「思考者」！AI芯片海洋上在想啥？
AI圈神秘领袖Ilya在Instagram上传画，画面是「思考者」踩在芯片Die Shot上，引发全网解读。同一时间，OpenAI公布数学成果、升级Codex，还传准备秘密提交IPO招股文件，引发新一轮狂欢。