消息详情

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

• 超 9 万人请愿黄仁勋复职 金十数据 11 月 14 日讯，截至发稿，“Stand with Jensen”请愿活动已获超 9 万人签名，特斯拉 CEO 马斯…
• 美国联邦航空管理局（FAA）正检查一种可追溯至 20 年前特定类型的路由器。
• “像一大群蜜蜂”：亚马逊 Prime Air 送货无人机噪音过大，遭当地居民投诉:IT之家 11 月 14 日消息，据休斯顿纪事报报道，亚马逊旗下的超快无人机…
• 导致全美地面停飞的故障设备已被识别并隔离。
• 受空管系统故障影响 14 日美国仍有超 3300 架次航班被取消 在 13 日空管系统出现通信故障、导致全美所有飞机停飞后，14 日，美国境内及往返美国的航班…
• 布伦特原油暗盘跌破 94 美元，日内跌超 0.8%。
• 智能体帮你联络商家或保险公司，Meta 旗下 Muse 上线代打电话功能:IT之家 11 月 14 日消息，Meta 旗下 AI 智能体 Muse 推出代打电…
• 美国交通部长达菲：航空公司正在重新安排航班，并将飞机及机组人员调配至最需要的地方，因此旅客仍可能面临部分航班延误或取消。
• 美国交通部长达菲：今天上午航班运行正逐步恢复正常。我们正与各航空公司保持密切协调，全力支持目前正在进行的恢复工作。
• 达菲：我们正与航空公司密切协调，以支持正在进行的复苏。