logo logo
  • 首页
  • 人工智能
  • 生活
  • 科技
  • 行业分析
  • 财经
  • 首页
  • 人工智能
  • 生活
  • 科技
  • 行业分析
  • 财经
新闻是历史的初稿。——菲利普·格雷厄姆
评论是自由的,事实是神圣的。——C.P.斯科特
速度很重要,但准确永远第一。——编辑室原则
  1. 首页
  2. 标签
  3. Lean 4
OpenAI“攻破”Connes刚性猜想遭质疑:数学家称反例未满足前提

人工智能 OpenAI“攻破”Connes刚性猜想遭质疑:数学家称反例未满足前提

OpenAI称新模型推翻Connes刚性猜想后,数学家很快提出反驳:形式化证明或许正确,但对象可能已偏离原猜想。

58次阅读 0个评论
人工智能 2026-08-05
《火焰纹章:万缕千丝》正式发售,IGN 打出 10 分满分

《火焰纹章:万缕千丝》正式发售,IGN 打出 10 分满分

回合制策略 RPG《火焰纹章:万缕千丝》今日登陆 Switch 2,媒体均分 89,IGN 给出 10 分满分,港区数字版售价 499 港币。
外卖大战烧掉上千亿后:三家平台从狂热补贴转向理性收敛

外卖大战烧掉上千亿后:三家平台从狂热补贴转向理性收敛

外卖大战看似落幕,实则明争转暗斗。京东缩圈、阿里分层、美团算账,三家用不同路径追求减亏提效,各自拿到战略筹码。
临床资产为零,估值却达15亿美元:字节AI制药Anew Labs首轮融资拆解

临床资产为零,估值却达15亿美元:字节AI制药Anew Labs首轮融资拆解

字节AI制药部门Anew Labs完成2.9亿美元首轮融资,投后估值15亿美元,但管线尚无临床资产。这笔交易的结构与赌注值得细看。
天文学家从旧档案中挖出最年轻系外行星:年龄不足百万年

天文学家从旧档案中挖出最年轻系外行星:年龄不足百万年

天文学家在凯克天文台的历史观测数据中发现系外行星 Elias 2-24 b,其年龄估计不足100万年,质量与木星相当,是目前已知最年轻的系外行星。
超七成受访者拒绝AI完全接管电脑,安全顾虑成普及最大门槛

超七成受访者拒绝AI完全接管电脑,安全顾虑成普及最大门槛

外媒调查显示,超过70%的受访者不愿让OpenClaw等AI工具完全控制电脑,安全顾虑成为AI智能体走向普及的关键障碍。
人工智能
体育
数字化转型
未分类
未来科技
测试
生活
科技
科技前沿
科技新闻
行业分析
行业趋势
财经
财经动态

归档

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