➡️
继续阅读
-
押中SpaceX的硅谷老将,把票投给了一家中国世界模型公司
AI虽擅长语言理解,却缺乏对物理世界的认知与决策能力,难以应对暴雨洪水等真实灾害。飞渡科技推出空间智能“峥嵘大模型”,构建全栈基础设施,通过动态边界控制、...
-
李开复彭博社专访:中国AI以“六个月差距”挑战美国,开源模型将赢得全球覆盖战
李开复表示,中美AI模型差距约六个月,但中国以低价提供性能接近的产品,类似安卓与苹果模式。美国公司盈利高,中国公司获更大用户规模。尽管芯片受限,中国工程师...
-
姚班校友主导,Claude攻克费马大定理首个完整形式化证明
Anthropic宣布Claude用11天完成费马大定理的端到端形式化证明,生成约1300万行Lean代码和超3万个中间定理,规模超Mathlib五倍。通...
-
在中国“查无此人”的星战XCOM,已经7万在线峰值了
贴脸MISS倒是很还原。今年8月27日发售的《星球大战:零号连队》成绩不错:发售后的首个周末,Steam在线峰值冲到77,889人,并登顶Steam畅销榜...
-
CEO的1元年薪起源 - 编程一生
手机更新换代,背后的安迪-比尔定理。还有其他一些大家天天接触但很多人没有深究的一些现象都是怎么产生的呢? 又要换手机了 现象 很多朋友都发现这种事情,刚买...
-
又当了一回网络工程师,找到满速断网问题
搬家后,把原来的宽带迁移过来了。按理说,同一个城市,同一个公司,同一个套餐,用起来差别应该不大。可是最近频繁出现断网的情况,经过我仔细观察,只有在看高清视频或者...