AI 快讯六条:国产大模型证三维 Ghys 猜想、蚂蚁开源 Ling-3.1-flash
快鲤鱼 · wechat · 2026-10-15
本期产业日报要点:- 上海 AI 实验室访问学者许地生团队依托书生 S2 科学大模型,以人机协同模式完整推导出困扰数学界 30 余年的三维 Ghys 猜想证明,系国内首次依托国产大模型破解世界级数学难题。- 腾讯 AI 管家 Marvis 鸿蒙版上架,支持自然语言操控电脑、跨端远控、定时任务,新增微信/QQ 登录。- 后摩智能联合腾讯混元、商汤、面壁智能等发起 Agent Computer 端侧智能共创计划。- 蚂蚁百灵开源 Ling-3.1-flash:总参数约 560B、每 Token 激活约 25B,最高 1M 上下文。- 苹果 AI 国行采用双伙伴模式:阿里提供模型能力,百度负责 Siri 与视觉智能(iOS 27 Beta2 出现 BaiduVisualSearch 模块),正式版拟 12 月随 iOS 27.3 推出。- 美国 8 个州总检察长起诉 OpenAI,指控 ChatGPT 安全性误导、危害未成年人。
所属事件:中国团队借书生S2大模型证明三维Ghys猜想(2 条相关)→
「公司和人」频道最新
- Shopify 内部 Slack bot River 不擅长移动开发,员工做内部广告说服工程师 — jevon · 2026-10-23
- 开发者批评 Apple 只送网红评测机，冷落开发者社区 — rudrank · 2026-10-23
- Diamandis 十月快讯：Anthropic S-1 拨 750-1000 亿美元入公益基金 — PeterDiamandis · 2026-10-23
- Anthropic 要 IPO？记者紧张到剪了刘海自嘲 — steph_palazzolo · 2026-10-23
- Arc 浏览器宣布 2026 年 12 月 22 日停止维护 — saharshpruthi · 2026-10-23
- KU Leuven 与 VIB 招两位 AI in Biology 组长教授，2027 年入职 — jpillowtime · 2026-10-23