搜索
Claude Opus 4.6的轻量平替，只需要 27B 参数，你信吗？最近发布的Qwen3.8-27B，就顶着这样的评价火遍了开源社区。上线两天，下载量突破100万次，登顶Hugging Face全球大模型趋势榜。
新智元报道 人类证出来的最难素数定理，AI刚从头验了一遍。 结论是：证明成立，逻辑无误。 8月17日，由一位25岁广州女孩创立的AI公司Axiom Math宣布，自家系统AxiomProver完成了「
2023 年，Dianne Penn 加入 Anthropic 时，这家公司的产品团队只有五名工程师，整个 API 业务由一名工程师负责。当时，OpenAI 已经凭借 ChatGPT 和 GPT-4 建立起领先优势，Anthropic 还在寻找自己的产品定位。
新智元报道 Anthropic「巴拿马计划」曝光了！ 2024年4月13日，Anthropic内部传阅了一份文档。 里面有这么一句：我们用一个「软代号」，因为不想让人知道我们在做这件事。 代号叫巴拿马
优必选这次直接把这些在客户工厂里攻克的难题1:1摆上展台。现场，我们看到工业人形机器人Cruzr Y1在持续拆垛码垛，搬运纸箱和料箱，Cruzr S2在给汽车机加件、钣金件上下料，在工作台上完成亚毫米级定位；
探索Elser团队背后的故事。 当AI接管代码和影像后，社媒上一度流行“一句话跑出游戏”的各种DEMO演示。 可直到今天，完全用AI打造的现象级游戏，几乎无处寻觅。为什么？在Coding Agent和
当算力真正成为稀缺资源时，人们会发现，在任何一个机构里，往往只有几十名研究者贡献了大约80%的成果。真正昂贵的不是研究者本人，而是与他配套的算力。因此，如果拥有一定的Token预算，你要把它分配给谁，为什么。
本周五，AI 社区热烈讨论的是一个端侧大模型部署技术，它能让笔记本 RTX 4060 跑 Qwen 3.6-35B，桌面 RTX 5090 跑得起 DeepSeek-V4-Flash 284B。而且都是单卡，模型都是满血的。Codex 生产 trace 的中位 decode 速度是 33 token/s
突发，GPT-5.6 Sol 开启大幅降价！未来三个月，API 价格和 credit 价格（超出计划包含额度后的按需付费用量）一起砍掉超过20%。目前，API 端已经即时生效，符合条件的 ChatGPT Work 和 Codex credits 正在陆续推送。
今天一大早，AI圈被这个消息刷屏了。外媒曝出猛料：Anthropic成功挖角前谷歌高管、大名鼎鼎的「TPU之父」Amir Salek！看来，Anthropic要自己造芯片了。此前，Anthropic就从OpenAI那里挖来了自研芯片骨干。