科技数码

内容列表

如何看待大量「有名有姓」的数学猜想被 AI 解决? 44

如何看待大量「有名有姓」的数学猜想被 AI 解决?

2026年,AI在数学领域取得多项突破,OpenAI的Astra模型解决了包括Erdős遗留问题在内的10项长期研究问题。AI在寻找反例方面表现突出,推翻了部分长期被相信的数学判断。与此同时,数学界正通过建立Palomar注册表等措施加强对AI证明的形式化验证与审计,而菲尔兹奖得主王虹则强调AI应被视为人机协作的工具而非对手。

知乎 ·
《黑神话:钟馗》最新15分钟实机演示 46

《黑神话:钟馗》最新15分钟实机演示

8月20日,游戏科学公布《黑神话:钟馗》15分钟实机演示,首次展示主角战斗与部分剧情片段,英伟达同步发布该视频。该作处于研发早期,战斗系统在《黑神话:悟空》基础上进行了调整,保留变身机制并新增完美格挡。同时,游戏科学CEO冯骥公开了内部十条工作原则,强调开发者应首先打动自己,并主张可体验的版本胜过文档。

百度热搜 ·
小米集团 2026 年 Q2 财报出炉,营收 1089 亿,你认为小米汽车还要几年才能成为第一大营收和利润来源? 42

小米集团 2026 年 Q2 财报出炉,营收 1089 亿,你认为小米汽车还要几年才能成为第一大营收和利润来源?

小米集团发布2026年第二季度财报,单季营收1089亿元,经调整净利润62亿元,研发投入92亿元同比增长18.9%。尽管总收入和经调净利同比分别下降6.1%和42.6%,但智能电动汽车及AI等创新业务收入达249亿元,同比增长17.1%。智能手机业务出货量连续24个季度稳居全球前三,平均售价创历史新高。

知乎 ·
记者带你近距离揭秘朱雀三号 46

记者带你近距离揭秘朱雀三号

2026年8月19日,朱雀三号遥二运载火箭在东风商业航天创新试验区发射升空,其一子级成功在甘肃民勤预定着陆点实现陆地回收。这是我国首次采用着陆支腿完成入轨火箭一子级陆地回收,标志着中国成为全球少数掌握轨道级火箭陆地回收技术的国家。该火箭采用液氧甲烷燃料,设计复用次数不少于20次,为航天产业的工程化与商业化打下基础。

抖音 ·
宇树上市后,创始人身家超 1300 亿成 90 后首富,23 名员工成千万富豪,如何看待宇树的造富神话? 42

宇树上市后,创始人身家超 1300 亿成 90 后首富,23 名员工成千万富豪,如何看待宇树的造富神话?

2026年8月19日,宇树科技正式登陆科创板,成为A股“人形机器人第一股”。公司开盘价为1100元/股,较发行价暴涨629.44%,总市值一度突破4449亿元。创始人王兴兴凭借约30%的持股比例,身家突破千亿元,成为90后首富。此次IPO也使部分核心员工及外部投资者获得巨额浮盈。

知乎 ·