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

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

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

126次阅读 0个评论
人工智能 2026-05-26
《明日方舟:终末地》确认支持英伟达 RTX Spark 笔记本,「丹青渡」版本前瞻放出硬件信号

《明日方舟:终末地》确认支持英伟达 RTX Spark 笔记本,「丹青渡」版本前瞻放出硬件信号

鹰角网络在《明日方舟:终末地》「丹青渡」版本前瞻视频中确认,本作将支持搭载英伟达 RTX Spark 处理器的笔记本。RTX Spark 于今年 6 月台北国际电脑展发布,首批机型今秋上市。
数据中心装不下AI野心:马斯克造芯、微软回归PC终端

数据中心装不下AI野心:马斯克造芯、微软回归PC终端

马斯克确认特斯拉与SpaceX自建Terafab芯片制造设施,微软则联合英伟达推出Surface Laptop Ultra与Windows混合智能方案。一个往上游造厂,一个把算力拉回个人电脑,指向同一个问题:AI算力由谁生产、在哪里运行、成本谁来承担。
OpenAI一次性公开722篇数学手稿:黎曼猜想、BSD、霍奇猜想都在列,数学界为何先踩刹车

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

OpenAI公开722篇数学手稿,全部来自尚未发布的内部模型,覆盖准黎曼猜想、BSD猜想、霍奇猜想等方向。规模惊人,但独立顾问组强调公开不代表认可,核验工作才刚开始。
优必选牵手一汽-大众:人形机器人从车辆质检走向物流场景

优必选牵手一汽-大众:人形机器人从车辆质检走向物流场景

优必选宣布与一汽-大众达成战略合作,共同推进具身智能机器人在物流场景的开发与测试。此前Walker S Lite已进入该工厂完成车辆质检实训,此次合作把应用范围向物流环节延伸。
陶哲轩质疑 OpenAI:719 篇 AI 数学证明,人类真的理解了吗?

陶哲轩质疑 OpenAI:719 篇 AI 数学证明,人类真的理解了吗?

OpenAI 公开 719 份 AI 数学证明,因符号错误撤回 3 份,并因披露不足引发争议。陶哲轩批评把“速通难题”当目标,称其为“证明消化不良”。
人工智能
体育
数字化转型
未分类
未来科技
测试
生活
科技
科技前沿
科技新闻
行业分析
行业趋势
财经
财经动态

归档

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