「重排器」共找到 1285 篇相关文章
全球最强开源「定理证明器」出世！十位华人核心，8B暴击671B DeepSeek
八大顶尖机构推出开源定理证明器Goedel - Prover - V2，有32B和8B两版本。它在多个基准测试击败671B的DeepSeek - Prover，采用创新技术，以少算力刷爆SOTA，十位华人是核心贡献者。
Qoder 发布首个自进化的智能体：看 Quest 如何重构了 Quest
Qoder 发布首个自进化智能体 Quest，它能自主完成重构自身长程任务执行逻辑等任务。Quest 从上下文管理、工具选择、Agent Loop 三方面优化架构，还具备自主进化能力，正探索自主编程新可能。
GitHub 狂飙 2.5 万标星，这款「会自愈」的 Python 爬虫框架杀疯了！
GitHub上爆火的Scrapling项目，是自适应Web爬虫框架。它能让爬虫‘学习’和‘适应’，解析器可自动定位元素，请求器能绕过反爬系统，性能强且支持多种会话类型，还能与AI工具集成。
支持30种语言，多种中文方言 [四川话、粤语等]的颠覆性无分词器TTS系统
VoxCPM是无离散音频分词器的语音合成系统。VoxCPM2基于MiniCPM - 4构建，有20亿参数，支持30种语言和9种中文方言，具备音色设计、可控声音克隆等特性，还完全开源，商用就绪。
重估GEO：一场关于“谁能被AI相信”的战争打响了｜甲子光年
2026年央视“3·15”晚会曝光AI大模型“AI投毒”黑灰产，却让GEO服务进入更多企业视野。360智见推出GEO产品，重构其为企业面向AI时代的基础设施，解决企业营销难题。
Lilian Weng：Harness才是模型自我迭代的现实起点和关键，而不是直接重写权重
Thinking Machines Lab联合创始人Lilian Weng发文指出，实现AI递归式自我改进（RSI），设计围绕模型的执行系统“Harness”才是现实起点。文中详述Harness设计模式、优化路径，也指出自我改进面临的瓶颈。
统计学和机器学到底有什么区别？
文章探讨统计学和机器学习的区别，指出两者目的不同，统计模型重推断关系，机器学习重预测。以线性回归为例说明差异，还澄清常见误解，表明机器学习基于统计学但涉及多领域，最后称选方法要看目标。
Grok Bot代码也泄露了？
8月23日X上有人称Cursor团队发布的Grok Bot 0.18.0，runtime source map是开着的，此人重构其客户端代码并放于GitHub，一天浏览量约88万。该重构项目有诸多实用实验和功能。
AI光通信还能火多久？股价暴涨10倍，Lumentum称订单已经排到了5年后
随着AI数据中心建设加速，光通信成AI基础设施增长最快环节。Lumentum作为光通信核心器件龙头，订单排到5年后，股价涨幅超1000%。AI光通信需求旺，但激光器产能紧，英伟达等纷纷布局。
扬言将杀死9个行业，21岁小哥又开发人生作弊器，曾被哥大、哈佛开除
曾被哈佛、哥大开除的21岁小哥Roy Lee创办Cluely公司，推出AI工具Cluely，获多轮融资。该工具能在多场景实时辅助，被称“人生作弊器”，虽有伦理争议，但或颠覆更多行业。