AI搜索

继2月论文“撞车”之后，梁文锋和杨植麟又在另一个大模型赛道上相遇了。 4月30日，DeepSeek上线新模型DeepSeek-Prover-V2，这是一个数学定理证明专用模型。 Prover-V2的参...

7月9日，极智嘉（HK02590）在港股敲钟上市，成为“全球自主移动机器人（AMR）第一股”。（AMR，即Automated Mobile Robot） 上市前一天，极智嘉就展示出了极强的号召力，香港...

Hugging Face已上线，但不能商用，也不能用来训练模型。 昨天，马斯克在海外社交媒体X平台上官宣：Grok 2正式开源，Grok 3半年后开源。 不知是不是笔误，马斯克在推文中写的是Grok ...

“作业是学生的本应排序第一的任务。” 随着AI的崛起，AI自习室成为新形态，越来越引起人们的关注。 多知对AI自习室领域调研发现，大致有四类入局者，包括教育基因型、硬件驱动型、招商加盟型、跨界入局者...

圈粉无数的Arc浏览器，在AI加持下华丽丽“变身”了—— 还是同一家公司出品，首个AI原生浏览器Dia正式启动内测，最大亮点是无需打开ChatGPT等就能直接和任意网页对话。 https://www...

5月8日消息，据知名苹果爆料人、彭博社记者马克·古尔曼（Mark Gurman）最新报道，苹果公司正在“积极考虑”彻底改造其设备上的Safari网络浏览器，将重点转向AI驱动的搜索引擎。 苹果与谷歌持...

当Manus创始人肖弘直言“产品没有秘密”时，大厂们正陷入技术复刻与流量争夺的双重焦虑。据光锥智能了解，目前多家大厂均在内部开设对标Manus的产品团队。据悉，以擅长内部赛马的字节，内部至少有5个不同...

Meta现实实验室（Reality Labs）在Nature上发表最新论文《A generic non-invasive neuromotor interface for human-computer...

GPT-5更近了！今天，神秘模型Horizon Alpha火遍全网，编码首测性能逆天，各种三方基准实测相继放出。就在发布前夕，OpenAI核心大脑专访坦言模型还有瓶颈，但坚信Scaling Law没有...

作为技术团队灵魂人物，巴布什金助力xAI在短短两年内跻身全球AI模型开发第一梯队。 当地时间8月13日，马斯克旗下人工智能公司xAI联合创始人伊戈尔·巴布什金（Igor Babuschkin）发文称...