AI闯入数学证明现场:“第四次危机”争论什么?
AI已能解奥赛题、批量生成数学手稿,却仍难跨越“人类能否理解”的门槛。数学家集体发声,争论焦点不是机器,而是数学该如何被对待。
达摩院发布车规增强处理器玄铁 E908A,首次公布自动驾驶与具身智能路线图
在深圳举行的 RISC-V 中国峰会上,阿里达摩院发布车规增强处理器玄铁 E908A,成为首款同时达到 ASIL-B 与 ASIL-D 标准的 RISC-V CPU IP,并首次给出自动驾驶与具身智能产品路线图。
TikTok恢复《马斯克》纪录片广告账户:此前曾被指永久封禁
TikTok称已恢复纪录片《马斯克》的广告账户,此前发行方被告知账户因政治内容遭永久封禁。Meta与YouTube也曾拒登后放行,马斯克旗下的X则拒绝承接广告。
Benchmark 五位合伙人同台:基金涨到 20 亿美元,投资节奏却一点没变
老牌风投 Benchmark 在 TechCrunch Disrupt 上罕见五人同台。基金规模扩至 20 亿美元,但合伙人强调,每人每年仍只投两三个项目,周一例会至今没有议程。
价值约330万元的英伟达RTX 5090显卡,在巴西圣保罗机场失踪
巴西分销商Oderço披露,一批成本约250万雷亚尔的英伟达RTX 5090显卡在运抵圣保罗瓜鲁柳斯国际机场后失踪,两个装载索泰产品的托盘下落不明,企业称38年经营中从未遇到类似情况。