搜索
先给你说个画面。上周三凌晨一点，我被手机震醒。不是闹钟，是闲鱼的消息提示。一个买家在问我那台吃灰的旧Xbox 360还在不在，能不能便宜五十。我半睡半醒回了个“在的，最多少二十”，然后翻个身接着睡。第二天早上打开一看，那个人凌晨一点半就把钱付了。就因为我半夜迷迷糊糊回了一句。
谷歌的前端功底有多深，不需要任何人来认证。
千问说它可以帮我拼九宫格了，还是不同主题的那种。
7月23日，第30届国际数学家大会（ICM）将在费城开幕，菲尔兹奖将在开幕式上颁出。
Kimi 官方停止接受新的会员订阅后，还有什么办法用上最新的 K3 成了当务之急，而且，也有一个符合直觉的答案：API。K3 可以通过开放平台直接调用，也能被接入 Claude Code 等第三方编程 Agent。只要准备一个 API Key，再做少量配置，用户似乎就能绕过拥挤的官方入口，把模型能力重新接到自己的电脑上。
硬氪获悉，工业AI设计研发解决方案供应商「设序科技」于近日正式完成B轮超亿元融资，累计获超3亿元融资，投资方包括深产投、合鼎共及老股东涌铧投资等。融资将用于市场开拓（含出海）及核心模型技术研发。
又来？？？GPT-5.6最近这是捅了数学反例窝了……
一段原本为英伟达 CUDA 设计的计算程序，几乎无需修改内核代码，就直接跑在了一台搭载 M3 Pro 的苹果设备上。
在近日的具身智能顶会 RSS（Robotics: Science and Systems）2026 上，最高奖项 Outstanding Paper Award 提名名单里，出现了一个不太 “机器人” 的名字 —— 影眸科技，一家头部 3D 生成大模型公司。
国防科技大学虚拟现实与视觉计算团队（SAW Lab）联合先进制导与控制技术国家级重点实验室等推出面向航拍几何 3D 视觉的统一大规模数据集与评测基准 「AirZoo」。