「内推」共找到 984 篇相关文章
刚刚，GPT-6 Astra联手非职业数学家，证明57年「摆圆」 难题
本文报道了数学爱好者nor借助GPT-6 Astra，完成了搁置57年的“圆内摆圆”问题中N≤20剩余5种情况的严格最优性证明，展现了AI在数学研究领域的新应用。
意图是 AI 时代的新入口｜AGIX PM Notes
文章围绕AI时代展开，指出互联网时代商业模式核心是“入口”，AI时代应关注“意图”。还提及上周对冲基金资金流动、AI企业动态，如微软推安全方案、Alphabet合资开发机器人等。
特朗普按下「创世纪」核按钮，AI曼哈顿计划正式启动！
2025年11月24日，特朗普正式签署「创世纪计划」，被比作AI版「曼哈顿计划」。由美国能源部牵头，整合资源打造「美国科学与安全平台」，剑指六大领域，要求9个月内构建AI科研闭环。
AI搜索引擎，苹果决定自研！代号WKA
据彭博社记者爆料，苹果预计明年春季推代号“世界知识问答”的AI搜索引擎，与ChatGPT等竞争；当下倾向用谷歌模型支持Siri部分功能。此前曾考虑收购Perplexity，现风向转变。
华为升级行业Agent算法架构！MindScale自己写prompt和工作流，KV Cache减少5.7倍token
华为诺亚方舟实验室更新面向行业应用的算法包MindScale，融合算法创新与业务实践经验。它梳理了Agent时代技术挑战，给出技术论文与昇腾代码，应对工作流维护等难题，还提升训推效率、适配国产硬件。
Meta AI大洗牌！超级智能一拆四，小扎押注硅谷华人，LeCun或已出局
8月20日Meta半年内第四次重组AI部门，超级智能实验室一分为四，或弃Llama 4转闭源模型，开源理念动摇。Meta还进行财务和基建“加码”，此次重组或意味着从研究到工程落地的转移。
开发者把掌舵人骂到关回复！Windows 要变成“Agent OS”？这位印度裔高管遭遇大型翻车现场
微软 Windows 掌门人 Pavan Davuluri 推文宣告 Windows 将演变为 Agentic OS，却遭开发者和用户吐槽，评论区失控后他关闭评论。微软全力推动转型，CEO Nadella 阐述宏观理念，但用户更想要稳定可靠的系统。
刚刚，这家0产品0模型就估值854亿的公司，终于发布了首款产品！
Thinking Machines Lab推出首款产品「Tinker」，这是专为语言模型微调而生的API，让开发者摆脱底层架构束缚，用简单Python代码专注创新。它功能强大，目前免费私测，已获普林斯顿、斯坦福等团队使用。
从 Shopify 构建 Agent 的经验中可以学到的
Shopify 分享构建 Agent 经验，采用主流 Agentic Loop 架构。给出4条打造 AI 智能体核心建议，还指出工具控制在20个内，可用 SubAgent 分摊上下文；用人类标记结果作基准让 LLM 评估 Agent 生成结果。
腾讯 CodeBuddy IDE 如何成为一个“全栈高级工程师”？
腾讯 CodeBuddy IDE 海外版开启内测，国内版预计 8 月上线。它定位‘下一代 AI 全栈高级工程师’，内置 4 个智能体，助力全链路研发。腾讯内部超 43% 代码由 AI 生成，编码时长缩短 40%。