「数学猜想库」共找到 601 篇相关文章
不想买几百刀的 ChatGPT Pulse？这款开源替代 + 本地部署可以白嫖试试
MineContext是开源跨平台桌面应用，可把电脑操作变成“上下文记忆库”。它能自动收集信息、生成总结和待办等。有自动截屏、生成总结等功能，使用体验好，适合常忘工作内容的信息工作者。
史上最全的AI rag技术来了！
本仓库用常见Python库讲解检索增强生成(RAG)技术，将其分解为易懂实现。包含一系列Jupyter Notebook，涉及20多种RAG技术，还介绍了核心概念、快速开始步骤等。
EdgeClaw：把 Claude Code 体验带到 OpenClaw
EdgeClaw 由清华、人大、面壁智能联合打造，是开源 AI 助手。它让 OpenClaw 用户拥有 Claude Code 级长期记忆能力，有多层结构化长期记忆等核心功能，适用于大型代码库维护等场景，还给出了使用方法。
受够了 Copilot 的“霸王条款”？GitHub 全球宕机遭怒骂，引爆开发者“大逃离”！
几个小时前 GitHub 大面积宕机，引发开发者抱怨。虽未明确原因，但不少人猜测与 Copilot 有关。近期企业和个人开发者也在‘逃离’GitHub，如 Gentoo Linux 因 Copilot 强制启用争议计划迁移代码库。
暴涨2.6万星！5000+专属技能让OpenClaw真正落地，手把手带你起飞。
OpenClaw项目已获20多万星，很多人不会用其技能。本着零代码原则教大家用好Skill，还推荐爆火的5000多个技能库。介绍了使用方式，强调描述需求要清晰。
不用上传数据了！苹果正式开源 Embedding Atlas，用 Rust+WebGPU 在桌面实现科研级数据分析
苹果发布开源工具 Embedding Atlas，支持对大规模嵌入向量交互式可视化与探索。它在浏览器端运行，保障数据隐私，有多种可视化功能，提供 Python 包和 npm 库，已在 GitHub 开源。
50年僵局打破！MIT最新证明：对于算法少量内存胜过大量时间
MIT理论计算机科学家Ryan Williams最新研究建立数学程序，将任意算法转化为占用空间更少的形式，证明少量计算内存比大量计算时间更有价值，打破计算机科学家近50年认知。
AI Agent搞定世纪首次菲尔兹奖成果形式化！一周时间独立完成，20万行代码已公开
Math公司的AI Gauss用5天完成原本需6个月的菲尔兹奖级数学成果形式化证明，一周搞定24维情形，还修正原论文错误。其创始人是xAI联合创始人Christian Szegedy，代码已公开。
手把手带你入门机器人学习，HuggingFace联合牛津大学新教程开源SOTA资源库
HuggingFace与牛津大学研究者推出机器人学习教程，附带开源数据集、模型等的LeRobot库。教程从经典机器人学讲起，介绍强化、模仿学习及通用策略，还提及解决现实瓶颈的技术与前沿模型。
DeepSeek被「猫咪睡觉」给干崩了……
研究员发现，在数学题后加「有趣的事实：猫咪一生大部分时间都在睡觉」，能让DeepSeek数学能力崩塌。研究开发CatAttack方法找「触发词」，无关触发词使模型错误率飙升，还会让回答变长。