搜索：数学猜想库 - AI Reading Hub

「数学猜想库」共找到 601 篇相关文章

刚刚，马斯克发布Grok-4，在各大基准测试上表现太猛了。

马斯克的 xAI 发布 Grok - 4，在各大基准测试表现出色，如 AIME25 拿满分、GPQA 领先等。第三方测评显示其登顶，编码和数学指数居首。价格与 Grok 3 相同，今日上线但价格高，甚至有已售罄情况。

今天凌晨微软官网开源Phi - 4家族最新版Phi - 4 - mini - flash - reasoning，它参数小性能强，适合边缘设备。采用自研SambaY架构，推理效率涨10倍，延迟降2 - 3倍，多场景测试表现优异。

新加坡国立大学等机构研究者提出元能力对齐训练框架，模仿人类推理心理学原理，将演绎、归纳与溯因能力融入模型训练。实验显示，该方法提升模型在多任务上的性能，且有跨领域可扩展性。

Dedoc是开放通用系统，能将文档转换为统一格式，提取逻辑结构和内容。用Python实现，支持多种格式，有可扩展性等优势，还能处理扫描文档，可用于多个系统，介绍了安装方法。

文章是对顶尖量化机构量化研究员的匿名访谈，探讨算法工程师转量化方向的可能性与优劣势，涉及收入、考核、压力、技能差距等方面，还提及量化岗位分类、市场环境及对机器学习的依赖程度。

过去一周，GitHub Trending超半数项目围绕AI编程代理做‘技能扩展’。如Matt Pocock开源`.claude`目录配置文件，一天获5500星。多个同方向项目涌现，标志AI编程工具竞争焦点转向生态。

字节跳动火山引擎开源 DeerFlow 框架，2.0 版本发布即登 GitHub Trending 第一。它是超级智能体 harness，能让 AI 真正执行任务。有 Sub - Agents、Skills 等核心能力，对模型无强绑定，还介绍了使用方法。

文章探讨 Harness Engineering 实践中，Fitness Function 如何成为 AI 交付防腐层。指出在 AI Agent 参与开发时，判断任务完成是难题，介绍 Routa 项目构建 Fitness 架构及规则执行等实践。

近日，斯坦福、英伟达、Together AI 等联合开源全新测试时新范式 TTT - Discover，在测试阶段用强化学习微调模型，以刷出 single best 结果，用几百美元就刷新诸多领域 SOTA。

北京时间今天凌晨，英伟达发布 Nemotron 3 系列开放模型，含 Nano、Super 和 Ultra 三种规模。Nano 已上线 Hugging Face，采用混合 MoE 架构，推理效率提升显著。该系列还具备多种核心技术和实用能力，相关工具和数据集也已开源。