搜索
群论领域几十年无解的第21.10号问题，被牛津数学家Marc Lackenby用谷歌一个新系统破解了。过程也很有意思：AI第一次给出的证明是错的，被系统里的审查Agent揪出了漏洞。
刚刚，xAI再失一名华人大将。就在今天，预训练负责人庄钧堂官宣了自己的离职消息。此前，庄钧堂已经在xAI工作了两年。这期间，他主导了从Grok 2到Grok 5的全系列预训练，同时负责Grok在X和Tesla上的语音模型及xAI企业API模型。
MiniMax M2 系列受到了开发者社区的广泛关注，不少用户在深度使用中发现了一些个例问题，其中“模型无法说出马嘉祺”这个问题引发了较多讨论。 我们也注意到，社区中有不少开发者对这个现象进行了高质量
HakkoAI可以看做是一个AI游戏搭子，它的核心功能是陪伴，在用户打游戏的时候给用户提供陪聊、陪打、查攻略等能力。其国内版本名为「逗逗AI游戏伙伴」，25年8月，化身HakkoAI进入欧美、日本等市场，截至目前全球注册用户数量已经超过1000万。
随手打开 GitHub,2026 年的 Agent 项目热榜上有这样一个仓库: • 27,000+ stars,1,800+ forks • 零行 Python,零行 TypeScript,零行 JS • 作者是 Obsidian 的 CEO 本人,kepano • 整个仓库就是 5 个 Markdown 文件
独家获悉，AI卡片录音笔公司Plaud已于2025年年中拿下腾讯的融资，估值达10亿美元；目前，Plaud公司估值已涨至约20亿美元。有关上述信息，硬氪向Plaud及腾讯方面求证，双方均表示消息不实。
AI 基础设施初创公司 RadixArk 宣布完成 1 亿美元种子轮融资，投后估值 4 亿美元。无论金额、估值还是投资人阵容，这都是 2026 年 AI Infra 赛道中目前最重的一笔早期下注。
Span 2018 年起家时做的是智能电板，卖给业主帮他们省电费。它的电板能识别每户人家电网接入端的实际可用容量。美国住宅一般标配 200 安培的服务等级，日常负载远低于此。空出来的那部分电力过去没被任何人定价，Span 现在打算把它用来跑 AI 推理。
Jim Fan 在红杉资本 AI Ascent 最新观点，信息量极大，机器人物理AI很快就会迎来突破，答案就在视频模型，路径就是LLM的突破路径,Jim Fan把机器人的未来路线图比作文明游戏里的科技树，还剩三个成就要解锁,2040年就是终局
就在昨天，全球AI四极格局一夜崩塌！xAI解散、22万张GPU归入Anthropic，下一代模型三大方向也曝光了。今天，Anthropic研究院成立，AI 2027的许多预言已经成真——AI终局战，已经刺刀见红。