来自中国的初创团队词元无限给出了自己的答案。由清华姚班校友带队设计开发的编码智能体 InfCode，在 SWE-Bench Verified 和 Multi-SWE-bench-CPP 两项非常权威的 AI Coding 基准中双双登顶，力压一众编程智能体。
近日，AI 初创公司 Axiom 宣布其模型在没有人类干预的情况下，自动完成了两个数学猜想的证明——埃尔德什问题（Erdős Problem）中的 481 号和 124 号。据称，481 号问题仅用时 5 小时，代码量为 656 行；124 号问题则耗时超 24 小时。值得关注的是，这些证明均通过 Lean 验证，Lean 的特点是其形式化证明过程无需人工干预，为数学正确性提供了保障。
阿蒂从洛杉矶飞来，谈论他的初创公司上周发布的重磅消息。Klay 已与各大唱片公司——环球音乐集团、华纳音乐集团和索尼音乐—— 达成批准上市许可/注册协议 ，成为首家与这三巨头全部签约的人工智能初创企业。
Anthropic发布了Programmatic Tool Calling（PTC）特性，让Claude通过代码编排工具执行，降低token消耗、减少延迟并提升准确性。
全球首个可大规模落地的开源原生多模态架构（Native VLM），名曰NEO。要知道，此前主流的多模态大模型，例如我们熟悉的GPT-4V、Claude 3.5等，它们的底层逻辑本质上其实玩的就是拼接。
当地时间12月4日下午，谷歌研究员的一篇论文在现场引来了超多AI爱好者的围观。甚至，被业界专家视为“为AGI发展提供了新框架”，一位人士评价为：这篇论文将成为逐步推动实现AGI的5~10篇论文中的一篇。
太劲爆了！不过半月，谷歌DeepMind终于放出了IMO最强金牌模型——Gemini 3 Deep Think。今天，Gemini 3 Deep Think已在Gemini App上线，所有Ultra用户即可体验。
游戏进入下半场，阿彪说，他想让 Pollo AI 成为 AI 时代的剪映。
硬氪独家获悉，前安克创新全球CMO、中国区总裁王时远离职后创业，成立「穗升科技」；公司聚焦AI录音硬件赛道，依托软硬件结合方案实现记忆管理与行动的闭环。
“豆包手机”刚发售，火到3万台首批备货被一抢而空。
“帮助全世界 40 万人成为导演，这种成就感，比我自己拍一部电影要大得多。”
在过去几年里，AI 技术经历了爆发式的增长，它正以极快的速度影响各行各业。然而，这场技术浪潮并未平等地惠及每一个人。
键盘作为人机交互的主要工具，实质上是一个巨大且不自然的「输入、输出瓶颈」。在「后键盘时代（post-keyboard future）」，语音或许才是最好地交互方式。
在生成式 AI 的新时代，人们一直在讨论它会不会颠覆教育、改变编程、重塑工作方式——但你可能没想到：现在连 6 岁的小孩都能通过AI 变成“侵权生成器”了。
芯片速度触顶，AI却在疯狂跃迁。摩尔定律不管用了！Nature最新文章给出一个颠覆直觉的解释：智能的增长不靠芯片，而是结构被重新组织，更多单元被接入同一套协作网络。
去年，美国有49家AI创业公司完成了1亿美元以上的融资。按常理，这样的数字意味着高基数、难再现。但今年的市场依旧火热，据TechCrunch的最新发布，进入年底前的最后几周，2025年已经追平去年，甚至出现更多的头部公司连续获得多轮 1亿美元以上的融资。
大模型总是无法理解空间，就像我们难以想象四维世界。
DeepSeek 一发布模型，总会引起业内的高度关注与广泛讨论，但也不可避免的暴露出一些小 Bug。
想象一下这个场景： 一个寂静的深夜，你满怀期待对游戏里的AI说：“去睡觉吧”，它却径直走向餐厅，在椅子坐下了；你再次尝试：“帮我暖一下被窝？”它用合成语音温柔地回应“好的”，身体却僵在洗手间，纹丝不动。
Vision–Language–Action（VLA）策略正逐渐成为机器人迈向通用操作智能的重要技术路径：这类策略能够在统一模型内同时处理视觉感知、语言指令并生成连续控制信号。
AI时代，年轻人都在忙着做builder。
这篇论文由北京航空航天大学、阿里巴巴、字节跳动、上海人工智能实验室等几十家顶尖机构联合撰写，全文长达303页，是对当前“代码大模型（Code LLMs）”领域最详尽的百科全书式指南。
我，氪了玩AI以来，单次付费最大的一单。在Lovart黑五4折的最后10分钟，还是没忍住，氪了Lovart的最高等级的年费会员。948刀，干了我将近7000大洋。在犹豫挣扎了很久之后，还是毅然决然的氪了。
本文为Milvus Week系列第三篇，该系列旨在分享Milvus的创新与实践成果，以下是DAY3内容划重点： Milvus2.6中，Zilliz借助Geolocation Index for Milvus，首次将地理空间数据与向量检索融合，使 AI 可以在理解语义的同时，理解空间。
最近研究发现，大模型在判断逻辑谬误时容易「想太多」，误报正常句子，但在确定有谬误后，其分类能力较强。研究人员构建了首个高质量英文逻辑谬误基准SMARTYPAT-BENCH，并开发了基于Prolog的逻辑谬误自动生成框架SMARTYPAT，为大模型逻辑能力评估提供新思路，可用于谬误识别、辩论教育等领域。
具身智能如何突破「遥操作」的数据桎梏？商汤联合创始人王晓刚领衔的大晓机器人，交出颠覆性答卷——发布全球首个开源商业落地世界模型「开悟3.0」。
我们买的算力规模，是在“即便是第 10 百分位的悲观情景下”，大概率依然付得起账。
AI 创业卷出新高度，AI 都可以自己设计芯片了。
Sora APP，这就凉凉了？！
当一个人说要颠覆微软时，你会觉得他在说大话；
