来自中国的初创团队词元无限给出了自己的答案。由清华姚班校友带队设计开发的编码智能体 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 已与各大唱片公司——环球音乐集团、华纳音乐集团和索尼音乐—— 达成批准上市许可/注册协议 ，成为首家与这三巨头全部签约的人工智能初创企业。
当地时间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亿美元以上的融资。
想象一下这个场景： 一个寂静的深夜，你满怀期待对游戏里的AI说：“去睡觉吧”，它却径直走向餐厅，在椅子坐下了；你再次尝试：“帮我暖一下被窝？”它用合成语音温柔地回应“好的”，身体却僵在洗手间，纹丝不动。
AI时代，年轻人都在忙着做builder。
我，氪了玩AI以来，单次付费最大的一单。在Lovart黑五4折的最后10分钟，还是没忍住，氪了Lovart的最高等级的年费会员。948刀，干了我将近7000大洋。在犹豫挣扎了很久之后，还是毅然决然的氪了。
具身智能如何突破「遥操作」的数据桎梏？商汤联合创始人王晓刚领衔的大晓机器人，交出颠覆性答卷——发布全球首个开源商业落地世界模型「开悟3.0」。
我们买的算力规模，是在“即便是第 10 百分位的悲观情景下”，大概率依然付得起账。
AI 创业卷出新高度，AI 都可以自己设计芯片了。
Sora APP，这就凉凉了？！
当一个人说要颠覆微软时，你会觉得他在说大话；
天才少年用AI日筛十亿分子！奥特曼恩师支招：不买模型卖授权。
21%的审稿意见竟全是AI生成的！「AI写，AI审」，ICLR裸奔事故从人肉搜索、金钱贿赂到全网吃瓜，这场闹剧撕开了学术圈最后的遮羞布。深度复盘这疯狂的61分钟，见证AI顶会史上最荒诞的一夜。
北京五环外的某大厂，“AI天才”的赛道也是被我硬挤进去了……
重注，能不能押出 MR 新赛道？
我是谁，我从哪里来，我要到哪里去？这经典的人生三问成为人类在AI变革年代的核心困惑。人必须重新定义身份、重建内在叙事，并重新选择未来方向。
最近,这家由两位丹麦年轻创始人打造的公司宣布完成了 1800 万美元的 A 轮融资,由 Alt Capital 的 Jack Altman 领投。加上此前 320 万美元的种子轮,Parahelp 总共融资超过 2100 万美元。更有意思的是,他们的客户流失率为零。是的,你没看错,零流失率。在 SaaS 领域,这几乎是不可能完成的任务。这让我非常好奇:他们到底做对了什么?
当别人还在做工具，他已经带着生态向我们走来
AI 产品的定价模式，变得比以往的产品更复杂了，按量计费、按人头计费、按照结果付费，选择哪种付费策略，甚至已经影响到了产品的增长效果。 还有不同国家的税务、注册主体等出海公司的企业必须面临的问题。 专
