「知识整理」共找到 653 篇相关文章
菲尔兹奖得主:AI现在主要靠「抬杠」突破重大数学猜想
1998年菲尔兹奖得主Gowers发现,最近AI在数学界的轰动突破,如雅可比猜想、Erdős单位距离猜想等,多靠“找反例”实现。他指出AI热衷此,因知道得多且试得起,但目前缺“嗅觉”。
我在微信免费养「龙虾」,玩到上瘾,这组CP太强了
2026 开年「龙虾热」渗透各类任务场景,腾讯动作密集。其自研 WorkBuddy 优势明显,与微信 ClawBot 联动成「官配」。经测试,它能高效处理多类任务,还为用户提供权益,腾讯龙虾矩阵加速成形。
吴恩达推出 Context Hub,专治 AI 写代码时的「瞎编」问题
吴恩达推出开源工具 Context Hub,解决 AI 写代码时的「API 幻觉」问题。它通过喂最新文档,让 Agent 按需取用,还能做批注。与 MCP 路线工具不同,它按需拉文档,且引入反馈机制更新文档。
人生文件系统
文章探讨用AI管理人生,提出把人生建模为统一文件系统。还指出多数人建目录树后文件夹易空,分享设计原则,如采用最小可行结构、写入阻力最小化、视项目为一等公民等。
开源AI真人级互动老师,多Agent+可视化画布,函数/思维导图实时作图!
本文介绍开源项目ChatTutor,它是可视化互动式AI老师,能边说边画。有数学画布、思维导图等功能,未来将支持代码、物理等画布,可用于解题、备课等,已上线chattutor.app。
我只推荐这5个!24个开源Agent/Workflow框架大比拼!
文章围绕《A Survey on Agent Workflow》展开,介绍了Agent Workflow概念、与Multi - Agent差异、核心组成及Agent角色。对24个主流框架进行对比,还给出不同场景下的框架选择建议,指出当前框架缺乏统一标准。
真6,上线几天,轻松斩获10k,首款开源通用AI智能体Suna:一句话自动处理Excel/爬数据/写报告,程序员私人助理诞生!
Suna是Kortix推出的全球首个开源通用型AI Agent,核心突破是“执行力”,能像人类员工操作数字工具。它开源透明,是全能数字员工,已落地多场景,有五大核心功能。还给出部署方法和同类对比。
DeepSeek又悄悄更新了?!实测:API突然变强
DeepSeek未发官方公告就悄悄更新模型,网友发现其deepseek-flash接口输出效果明显提升,本文整理了网友的实测对比结果,目前更新版本仍存多种猜测。
每周免费送1亿Token!扎克伯格押注王牌产品Muse:AI会24小时替你赚钱,我只负责抽成
本文整理科技记者对扎克伯格的播客访谈,扎克伯格公开反对AI技术被少数机构垄断,介绍了Meta全新推出的个人AI产品Muse的产品设计、商业模式与研发思路。
估值 20 亿美元的语音输入法,开源平替已经 3 万 star
文章指出语音输入随着 AI 发展价值重估,介绍了开源工具 OpenLess,分析了商业订阅、开源桌面工具、大厂输入法三类玩家,给出四层评估框架,也提及开源风险,并对不同需求给出选择建议。