消息详情

谷歌利用多个专业 AI 智能体打造 Teamwork 系统，成功验证多项复杂数学证明:IT之家 11 月 14 日消息，谷歌宣布进一步扩展旗下 Antigravity 多智能体系统，利用多个由 Gemini 模型驱动的专业智能体组成 Teamwork 系统，号称可解决“长期悬而未决的数学难题”、“验证复杂数学证明”，并优化各种软件系统性能。例如，谷歌已成功对韦伊猜想（Weil conjectures）进行形式化证明。这是一组关于有限域上多项式方程解的数量的重要数学结论，最初由数学家...#rss

• 美防长祝贺星舰“筷子夹飞船”成功 马斯克发文庆祝 SpaceX 星舰“筷子夹飞船”成功，美国防长赫格塞思转发并表示：“祝贺埃隆·马斯克——一位伟大的美国人。继…
• 联合国呼吁恢复霍尔木兹海峡化肥运输 联合国项目事务厅执行主任达席尔瓦 14 日表示，伊朗和美国应立即允许化肥运输通过霍尔木兹海峡，以缓解脆弱国家面临的危机。达…
• 国产算力巨头超聚创业板 IPO 过会，前身是华为 X86 服务器业务:IT之家 11 月 15 日消息，深交所上市审核委员会本月 12 日召开 2026 年第…
• 上海数据跨境服务创新 系统性解决合规、信任、成本三大难题 在近日举办的 2026 上海数字城市活动月主题日上，上海市数据局副局长钱晓提到一个新名词——“总对总…
• 前 10 个月京津冀区域进出口值创历史同期新高 今年前 10 个月，京津冀区域进出口值 4.50 万亿元、同比增长 15.0% ，占全国进出口总值的 10.0…
• 微软 XBOX 商店出现标价 1999 美元的《GTA6》游戏，疑为盒装兑换码占位商品:IT之家 11 月 15 日消息，近日部分海外玩家发现，微软 XBOX…
• 升空约 22.5 小时，SpaceX“星舰”飞船首次被发射塔机械臂“捕获”回收:IT之家 11 月 15 日消息，当地时间 11 月 14 日，SpaceX …
• 北京量智融合企业达 23 家，超半数今年新注册 北京是量子科技和人工智能（AI）产业发展“双高地”，二者的碰撞，正在激发出全新的研发路径。目前，北京共有量智融…
• 中国地震台网正式测定：11 月 15 日 07 时 25 分在新疆昌吉州昌吉市（北纬 44.00 度，东经 87.17 度）发生 3.0 级地震，震源深度 4…
• 白宫法律顾问：不会无条件配合民主党传票 已扩充律师团队 美国白宫法律顾问威尔·沙夫表示，白宫不会承诺配合民主党主导国会发出的传票，并且认为与总统特朗普有过接触…