logo logo
  • 首页
  • 人工智能
  • 生活
  • 科技
  • 行业分析
  • 财经
  • 首页
  • 人工智能
  • 生活
  • 科技
  • 行业分析
  • 财经
新闻是历史的初稿。——菲利普·格雷厄姆
评论是自由的,事实是神圣的。——C.P.斯科特
速度很重要,但准确永远第一。——编辑室原则
  1. 首页
  2. 标签
  3. AlphaProof Nexus
谷歌 DeepMind 推出 AlphaProof Nexus:AI 自主解决 9 个 Erdős 开放问题

人工智能 谷歌 DeepMind 推出 AlphaProof Nexus:AI 自主解决 9 个 Erdős 开放问题

谷歌 DeepMind 新框架 AlphaProof Nexus 将大模型证明生成与 Lean 验证结合,在开放数学问题上取得新进展。

125次阅读 0个评论
人工智能 2026-05-26
英伟达发布 DGX Station for Windows:桌面级 AI 超算可跑 1 万亿参数模型

英伟达发布 DGX Station for Windows:桌面级 AI 超算可跑 1 万亿参数模型

英伟达推出桌面级 AI 超算 DGX Station for Windows,搭载 GB300 平台,最高 748GB 统一内存、20 PFLOPS 算力,可在本地运行约 1 万亿参数模型,计划 2026 年第四季度上市。
OpenRouter 周榜被当成“全球公投”:一张渠道流水单,撑不起模型实力的结论

OpenRouter 周榜被当成“全球公投”:一张渠道流水单,撑不起模型实力的结论

OpenRouter 的周榜常被国内解读为全球开发者投票,但它本质是私人 API 聚合商的内部流水。匿名模型登顶、价格战轮换冠军、滚动窗口下的数据漂移,都说明这张表更擅长制造声量,而非衡量实力。
豆包登陆华为鸿蒙电脑端,首版搭载2.1 Turbo/Pro双模型

豆包登陆华为鸿蒙电脑端,首版搭载2.1 Turbo/Pro双模型

豆包App已上架华为鸿蒙电脑端应用市场,首版本搭载豆包2.1 Turbo与2.1 Pro模型,支持对话与工作模式切换,并带来深入研究、PPT生成、写作、图像生成、云盘等能力,覆盖多种生产力场景。
雷蛇巴塞利斯蛇 V4 双版本发布:专业版 1399 元、极速版 899 元,第二代充电底座同台亮相

雷蛇巴塞利斯蛇 V4 双版本发布:专业版 1399 元、极速版 899 元,第二代充电底座同台亮相

雷蛇发布巴塞利斯蛇 V4 专业版与极速版鼠标,售价分别为 1399 元和 899 元,均支持第二代鼠标底座磁吸无线充电;底座套装 499 元,内置 8KHz 收发器。
OpenAI一次性公开722篇数学手稿:黎曼猜想、BSD、霍奇猜想都在列,数学界为何先踩刹车

OpenAI一次性公开722篇数学手稿:黎曼猜想、BSD、霍奇猜想都在列,数学界为何先踩刹车

OpenAI公开722篇数学手稿,全部来自尚未发布的内部模型,覆盖准黎曼猜想、BSD猜想、霍奇猜想等方向。规模惊人,但独立顾问组强调公开不代表认可,核验工作才刚开始。
人工智能
体育
数字化转型
未分类
未来科技
测试
生活
科技
科技前沿
科技新闻
行业分析
行业趋势
财经
财经动态

归档

  • 2026 年 10 月 (202)
  • 2026 年 9 月 (717)
  • 2026 年 8 月 (550)
  • 2026 年 7 月 (683)
  • 2026 年 6 月 (715)
  • 2026 年 5 月 (750)
  • 2026 年 4 月 (1091)
  • 2026 年 3 月 (302)
 Theme by Puock