新智元报道 就在刚刚，数学界又有大消息了。 9 月，AI 成功形式化验证「庞加莱猜想」已经震撼了数学界。 刚刚，由 Ayush Khaitan 带领的顶尖学术团队，联合NVIDIA Humanfia 团队，成功完成了Thurston 几何化猜想的完整 Lean 形式化！ 哈密尔顿-佩雷尔曼那份「世纪
新智元报道 NASA 卫星绕着走了十年的银河，被 Claude 几天补齐了。 刚刚，Anthropic 公布了 SI 首张完整的紫外全天图，整片天空，一个洞都没留。 紫外光下的整片天空，银心在正中。约三分之一的天区，包括大半条银河盘面，是 Claude 推算出来的 这张图里有三分之一的天空，从来没有
10 月 8 日消息，滴滴发布 2026 年十一出行报告。数据显示，今年十一期间，国内滴滴打车订单数同比增长7%，异地打车需求较平日增长 54%，跨境游、县域游及文博游等出行需求明显增长。 跨境出行方面，用户使用滴滴海外打车的订单较暑期翻倍。其中，中国用户在澳大利亚的打车需求同比增长 62%，在拉美
文/四火的唠叨 我是 08 年毕业的，到现在，已经过去了超过 18 年。但是，我开始学软件的时间，要早得多，并且是从 VB 开始的，正儿八经接触的第一门编程语言是 C，毕业使用的是 Groovy on Grails 做的网站（可远不如现在的毕业生们使用的高大上技术了），在这篇文字里面有所介绍。如今在
2026 年 9 月，Jev 刷屏了。围绕这款直接输出判断和概率的 AI 模型，讨论已经持续了好几天。 从 X 上的演示到开发者的应用尝试，一个问题浮出水面：当 AI 用来做决策，还需要先生成一长串文字吗？ 但如果把时间拨回整整一年前呢？ 2025 年 9 月，已经有研究提出：让模型一次并行生成多种
金磊发自苏州 量子位 | 公众号 QbitAI CPU的价值，在Agent 时代，真的需要被重估了。 为什么这么说？ 因为 Agent 正在改变 AI 计算的配比—— 从一颗 CPU 搭配四颗 GPU（1:4），到现在的一颗 CPU 搭配一颗 GPU（1:1）。 这便是芯片巨头英特尔刚刚在苏州举办的
9 月 3 日消息，消息源 @SonnyDickson 昨日（9 月 2 日）转发科技媒体 @MacRumors 推文，分享了苹果 iPhone 18 Pro 和 iPhone 18 Pro Max 的 SIM 卡托，预估苹果 2026 年旗舰手机只有 3 种颜色。 @MacRumors 在博文中，
新智元报道 最近财报电话会上，黄仁勋喊出：英伟达已经实现了 AGI！ 随后，他给出了惊人预测—— 未来的英伟达，可能只需要 4 万名人类员工，就能同时指挥 40 万甚至 400 万个 24 小时无休的 AI Agent 疯狂工作！ 如果英伟达率先实现 AGI，这意味着什么？ 本来，英伟达就坐拥全球最
GameLook 报道/进入 2026 年之后，苹果、谷歌两大移动运营商店平台陆续开放了各自的第三方支付，并对应降低了商店抽成。这就意味着，如果玩家通过官网充值，你就可以避开传统的 30% 抽成费，将更多的收入比例拿到自己手中。 据据 AppCharge 与 GDC 联合发布的最新报告显示，直接面向
henry 发自 RSS 量子位 | 公众号 QbitAI “包括 Physical Intelligence 在内，如今的北美头部具身智能公司离成熟都还有不短的距离。整个领域，也还没出现真正的奠基性工作。” “中国真正领先的，恰恰是机器人硬件。美国同样没有成熟答案，中国公司又何必急着把自己称为‘中