新智元报道 OpenAI 内部最新推理模型，一口气发布了十项惊人的数学进展。 其中包括： 首次证明了非 Sofic 群（Non-sofic groups）的存在性 ； 给出了全新的电路下界（Circuit lower bounds）； 攻克了最近向量问题（Closest Vector Problem
8 月 3 日，研究机构 Artificial Analysis 数据显示，DeepSeek 旗下旗舰人工智能模型 V4-Flash，在基准测试中的运行成本为主要模型中最低，不足 Anthropic 旗舰模型 Claude Fable 5 的1%。 Artificial Analysis 指出，V4
新智元报道 Grok，学会一键看片了？ 就在昨天，马斯克在X上兴奋宣布：Grok 可以分析任何视频了！ 在推文中，马斯克放出一段长达 63 秒的高清视频。其中主角，居然是早已离我们远去的篮球巨星科比。 在视频中，科比身穿黑色西装，坐在洛杉矶夜景前的真皮沙发上。他的手边放着一个篮球，对着镜头向全网推销
新智元报道 一片龟甲或牛肩胛骨摆在案头，裂纹穿过刻辞，几个字还缺了笔画。 研究者想确认其中一个生字，往往要翻检成百上千张拓片，比对青铜器铭文、战国文字和小篆的形体，再到古籍与现代论文里寻找用例。证据散在不同年代、不同载体和不同数据库中，一轮查证可能持续数日。 近日，来自华中科技大学等联合团队推出首个
Jay 发自凹非寺 量子位 | 公众号 QbitAI 啥，谷歌真比 OpenAI 还早一年搞出了 ChatGPT？ 不是谷歌事后找补了，这次是 OpenAI 自己人，Codex 负责人 Tibo刚佐证的消息： 那就是早一年版的 ChatGPT。最初叫 LMChat，后来又换了另一个代号。 谷歌太紧张
作者｜李楠 微信 ｜tqkm1510 “很幸运在合适的时间遇见合适的人，得到正确引导。”在菲尔兹奖获奖感言中，成为新晋国民偶像的王虹做出了这样的总结。相比“挂谷猜想是什么”这样的艰深问题，对多数人更有参考意义的是，“王虹何以成为王虹”。 数学家的成长往往没有标准化路径，但从王虹的经历可以看到，能否有
「我明天要见心理咨询师，」一位居住在波士顿的年轻妈妈，正在规划第二天的行程，不过，这话她既不是说给丈夫听的，也不是说给孩子听的，而是说给 Claude 听的。「帮我捋一捋上次咨询之后我们聊过什么，有什么该拿出来说的。」 Claude 一键跟随，把她最近的工作压力、跟伴侣的摩擦，整合关联到了一段反复出
本文来源：时代周报 8 月 3 日消息，时代周报记者获悉，阿里巴巴旗下全新通用智能体产品千问办公今日开放公测。 记者注意到，千问办公围绕企业真实运营需求设计，现已完成和钉钉的深度打通，可在授权范围内调取企业群聊记录、会议文档、日程审批、内部知识库等组织沉淀数据。据了解，产品同步搭载全新 Qwen3.
稳定的订单量，让工厂敢养人、敢扩产。 定焦 One（dingjiaoone）原创 作者 | 张星星 编辑 | 阮梅 “旺季腰疼，淡季头疼。”芬蒂袋鼠老板王继红这样形容做箱包的日子，卖爆了着急，卖不动也着急。 三百多公里外，洋兴书包老板陈家兴的感受类似。他早年做儿童书包，“淡季没活做，旺季做多少都不够
8 月 3 日，招银国际发表报告指，Meta（META.US）公布 2026 年第二季业绩，总营收同比增长 28% 至 608 亿美元，大致符合市场预期；营业利润同比下降8% 至 188 亿美元，若剔除 24 亿美元法律费用，则同比增长4% 至 212 亿美元，市场预期为 215 亿美元。展望第三季