SambaNova huy động được 1 tỷ USD với mức định giá 11 tỷ USD, đặt ra thách thức mạnh mẽ trong phân khúc suy luận của Nvidia

Tradingkey - Sau đợt IPO kỷ lục của SpaceX (SPCX), sự chú ý của thị trường đối với lĩnh vực không gian thương mại ngày càng trở nên sâu sắc. Các báo cáo mới nhất cho thấy Blue Origin của Jeff Bezos đang nhanh chóng nối gót khi lên kế hoạch mở vòng gọi vốn ngoại đầu tiên trong lịch sử. Công ty đặt mục tiêu huy động 10 tỷ USD với mức định hướng giá trị sau gọi vốn đạt 130 tỷ USD, chính thức gia nhập nhóm các doanh nghiệp không gian thương mại toàn cầu có định giá vượt mốc 100 tỷ USD. Theo các nguồn tin thân cận, quỹ đầu cơ hàng đầu Coatue sẽ dẫn dắt vòng gọi vốn này với khoản đầu tư 4 tỷ USD, bên cạnh khoản đồng đầu tư trị giá 2 tỷ USD từ Bezos (đính chính từ 20 tỷ USD). Phần còn lại đang nhận được nhu cầu mạnh mẽ từ các tổ chức, với sự sẵn sàng tham gia của nhiều nhà đầu tư lớn. Sự kiện này đánh dấu lần đầu tiên Blue Origin huy động vốn từ bên ngoài trong lịch sử hơn 20 năm hoạt động, phá vỡ mô hình truyền thống trước đây khi Bezos tự tài trợ hoàn toàn cho công ty bằng cách bán cổ phiếu Amazon.

TradingKey - Vào ngày 8 tháng 7, theo giờ miền Đông, trong phiên giao dịch tiền thị trường, hợp đồng tương lai của ba chỉ số chứng khoán chính của Mỹ tiếp tục giảm điểm. Tính đến thời điểm đưa tin, hợp đồng tương lai chỉ số Trung bình Công nghiệp Dow Jones giảm 0,94%, hợp đồng tương lai chỉ số S&P 500 giảm 0,70%, và hợp đồng tương lai chỉ số Nasdaq 100 giảm 1,03%.

TradingKey - Vào ngày 8 tháng 7 theo giờ địa phương, Apple (AAPL) đã chính thức công bố thỏa thuận hợp tác nhiều năm với gã khổng lồ bán dẫn Broadcom (AVGO) trị giá hơn 30 tỷ USD. Đây là cam kết đầu tư sản xuất tại Mỹ lớn nhất trong lịch sử của công ty.

TradingKey - Tổng thống Mỹ Trump phát biểu tại hội nghị thượng đỉnh thường niên NATO vào ngày 8 tháng 7 rằng ông tin bản ghi nhớ ghi nhớ giữa Mỹ và Iran đã "chấm dứt". Điều này đồng nghĩa với việc thỏa thuận ngừng bắn tạm thời giữa hai nước, vốn vừa xuất hiện những tín hiệu hạ nhiệt, đã chính thức khép lại.

TradingKey - Ngay khi SpaceX chuẩn bị được đưa vào chỉ số Nasdaq, nhà đầu tư huyền thoại Jeremy Grantham, người được mệnh danh là "nhà tiên tri bong bóng", đã đưa ra một cảnh báo lớn. Trong một cuộc phỏng vấn, bậc thầy đầu tư giá trị 83 tuổi kiêm đồng sáng lập GMO tuyên bố thẳng thắn rằng có 90% khả năng giá cổ phiếu của SpaceX sẽ phải gánh chịu một đợt sụp đổ lịch sử trong tương lai.of_the_same_kind_with_a_higher_index? No. The answer is no. Example 2: - and standard logic formula inside is: $\neg (\forall y) (P y \land S x)$? No. There's a free $x$ variable inside. So the answer is no. Example 3: Is the formula $(\exists y) Q y$ of the same kind with a higher index as $(\exists x) Q x$? Let's see: $(\exists x) Q x$ has index 1. $(\exists y) Q y$ has index 2. Is it the same kind? Yes, they both have a single existential quantifier. Do they differ only in the bound variable, and does $y$ have a higher index than $x$? Yes, $y$ (index 2) is higher than $x$ (index 1). So the answer is yes. Let me carefully construct the definition of "being of the same kind with a higher index". Let $F$ be a formula. We want to check if $F$ is of the same kind with a higher index as $G$ (which is $D$ in our case, where $D$ is the given first-order logic formula). Actually, we need to find "all formulas $F$ of the same kind with a higher index as $D$". Wait, the definition of "of the same kind with a higher index" is: "We say that a formula $F$ is of the same kind with a higher index as $G$ if $F$ is obtained from $G$ by replacing a bound variable in $G$ (and all its bound occurrences) with a new variable that has a higher index than the original, and that is not already used in $G$." Let's check this definition. If $G = (\exists x) P x$. Bound variable is $x$ (index 1). We can replace $x$ with $y$ (index 2), which is not used in $G$. So $F = (\exists y) P y$. This has a higher index. If we replace $x$ with $z$ (index 3), $F = (\exists z) P z$. So any variable $v$ with index $i > 1$ can replace $x$, as long as it's not in $G$ (but here the only variable in $G$ is $x$, so any variable with index $> 1$ is fine). So the formulas of the same kind with a higher index as $(\exists x) P x$ are: - $(\exists y) P y$ - $(\exists z) P z$ - $(\exists u) P u$ - etc. Let's look at the given formula $D$: $D = (\forall x) (P x \rightarrow (\exists y) (Q x y \land R y))$ First, let's identify the bound variables in $D$. The quantifiers in $D$ are: 1. $(\forall x)$ - this binds $x$ (index 1). 2. $(\exists y)$ - this binds $y$ (index 2). So the bound variables in $D$ are $x$ and $y$. There are no free variables in $D$ (since all occurrences of $x$ and $y$ are bound by their respective quantifiers: the first $x$ in $Px$ and $Qxy$ are bound by $\forall x$, and the $y$ in $Qxy$ and $Ry$ are bound by $\exists y$). Let's verify: In $P x \rightarrow (\exists y) (Q x y \land R y)$: The $x$ in $Px$ is within the scope of $(\forall x)$. The $x$ in $Qxy$ is also within the scope of $(\forall x)$. The $y$ in $Qxy$ is within the scope of $(\exists y)$. The $y$ in $Ry$ is within the scope of $(\exists y)$. Thus, both $x$ and $y$ are bound variables in $D$. The set of variables currently used in $D$ is $\{x, y\}$. According to the definition, $F$ is of the same kind with a higher index as $D$ if $F$ is obtained from $D$ by replacing *a* bound variable in $D$ (and all its bound occurrences) with a new variable that has a higher index than the original, and that is not already used in $D$. Wait, does "replacing a bound variable" mean we replace exactly ONE bound variable, or can we replace more? "replacing a bound variable in G (and all its bound occurrences) with a new variable..." Usually, "a bound variable" means one of the bound variables. Let's see if we can do it for $x$, or for $y$, or both? Usually, "a bound variable" implies we choose one variable to replace. Let's consider both cases: replacing $x$, or replacing $y$. Case 1: Replace $x$ (index 1) with a new variable $v$ that has a higher index than $x$ (i.e., index $> 1$) and is not already used in $D$. The variables used in $D$ are $\{x, y\}$. So the new variable $v$ cannot be $x$ or $y$. Since $x$ has index 1, $v$ must have index $> 1$. The variables with index $> 1$ are $y, z, u, w$. But $v$ cannot be $y$ (since $y$ is already used in $D$). So the allowed new variables to replace $x$ are $z, u, w$. Replacing $x$ with $z$ (index 3) gives: $F_1 = (\forall z) (P z \rightarrow (\exists y) (Q z y \land R y))$ Replacing $x$ with $u$ (index 4) gives: $F_2 = (\forall u) (P u \rightarrow (\exists y) (Q u y \land R y))$ Replacing $x$ with $w$ (index 5) gives: $F_3 = (\forall w) (P w \rightarrow (\exists y) (Q w y \land R y))$ Case 2: Replace $y$ (index 2) with a new variable $v$ that has a higher index than $y$ (i.e., index $> 2$) and is not already used in $D$. The variables used in $D$ are $\{x, y\}$. So $v$ cannot be $x$ or $y$. Since $y$ has index 2, $v$ must have index $> 2$. The variables with index $> 2$ are $z, u, w$. Since these are not used in $D$, they are all valid. Replacing $y$ with $z$ (index 3) gives: $F_4 = (\forall x) (P x \rightarrow (\exists z) (Q x z \land R z))$ Replacing $y$ with $u$ (index 4) gives: $F_5 = (\forall x) (P x \rightarrow (\exists u) (Q x u \land R u))$ Replacing $y$ with $w$ (index 5) gives: $F_6 = (\forall x) (P x \rightarrow (\exists w) (Q x w \land R w))$ Wait! Can we replace both $x$ and $y$? The definition says "replacing a bound variable". This is singular. It refers to replacing one bound variable. Let's re-read carefully: "replacing a bound variable in G... with a new variable..." Yes, "a bound variable" means we choose one of the bound variables in $G$ and replace it. So the resulting formulas should be those obtained by replacing either $x$ or $y$ (but not both simultaneously, unless it's done in steps, but the definition of "is of the same kind..." typically refers to a single relation step. If it were multiple, it would say "replacing one or more" or "replacing the bound variables"). Wait, let's think: is "being of the same kind with a higher index" a transitive relation? If $F$ is of the same kind with a higher index as $G$, is it defined by a single variable replacement? "obtained from $G$ by replacing a bound variable..." Yes, "a bound variable" means exactly one. So the formulas are $F_1, F_2, F_3, F_4, F_5, F_6$. Let's write down these formulas clearly. First, let's list the formulas obtained by replacing $x$ (index 1): The new variable $v$ must have index $> 1$ and not be in $\{x, y\}$. So $v \in \{z, u, w\}$. - For $v = z$: $(\forall z) (P z \rightarrow (\exists y) (Q z y \land R y))$ - For $v = u$: $(\forall u) (P u \rightarrow (\exists y) (Q u y \land R y))$ - For $v = w$: $(\forall w) (P w \rightarrow (\exists y) (Q w y \land R y))$ Second, let's list the formulas obtained by replacing $y$ (index 2): The new variable $v$ must have index $> 2$ and not be in $\{x, y\}$. So $v \in \{z, u, w\}$. - For $v = z$: $(\forall x) (P x \rightarrow (\exists z) (Q x z \land R z))$ - For $v = u$: $(\forall x) (P x \rightarrow (\exists u) (Q x u \land R u))$ - For $v = w$: $(\forall x) (P x \rightarrow (\exists w) (Q x w \land R w))$ Let's double check if there are any other bound variables or any other interpretation. What if $y$ was replaced by something else? No, only $z, u, w$ have higher indices than $y$ (index 2) and are not $\{x,y\}$. What if $x$ was replaced by something? $y, z, u, w$ have higher indices than $x$ (index 1), but $y$ is already used in $D$, so we cannot use $y$. Thus only $z, u, w$ are allowed. This matches exactly the 6 formulas. Let's write down the final response clearly, listing these 6 formulas.To find all formulas of the same kind with a higher index than the formula: $D = (\forall x) (P x \rightarrow (\exists y) (Q x y \land R y))$ we need to follow the definition: A formula $F$ is of the same kind with a higher index as $D$ if $F$ is obtained by replacing **one** bound variable in $D$ (and all its bound occurrences) with a new variable from $\{x, y, z, u, w\}$ that is not currently used in $D$ and has a higher index than the original variable. The variables used in $D$ are $\{x, y\}$, where: * $x$ has index 1 * $y$ has index 2 The remaining available variables with their indices are: * $z$ (index 3) * $u$ (index 4) * $w$ (index 5) --- ### Case 1: Replacing the bound variable $x$ (index 1) We can replace $x$ with any variable that has an index $> 1$ and is not already in $\{x, y\}$. The valid replacement variables are $z, u,$ and $w$. This gives the following 3 formulas: 1. **Replacing $x$ with $z$:** $(\forall z) (P z \rightarrow (\exists y) (Q z y \land R y))$ 2. **Replacing $x$ with $u$:** $(\forall u) (P u \rightarrow (\exists y) (Q u y \land R y))$ 3. **Replacing $x$ with $w$:** $(\forall w) (P w \rightarrow (\exists y) (Q w y \land R y))$ --- ### Case 2: Replacing the bound variable $y$ (index 2) We can replace $y$ with any variable that has an index $> 2$ and is not already in $\{x, y\}$. The valid replacement variables are $z, u,$ and $w$. This gives the following 3 formulas: 4. **Replacing $y$ with $z$:** $(\forall x) (P x \rightarrow (\exists z) (Q x z \land R z))$ 5. **Replacing $y$ with $u$:** $(\forall x) (P x \rightarrow (\exists u) (Q x u \land R u))$ 6. **Replacing $y$ with $w$:** $(\forall x) (P x \rightarrow (\exists w) (Q x w \land R w))$ --- ### Conclusion The 6 formulas of the same kind with a higher index than $D$ are: 1. $(\forall z) (P z \rightarrow (\exists y) (Q z y \land R y))$ 2. $(\forall u) (P u \rightarrow (\exists y) (Q u y \land R y))$ 3. $(\forall w) (P w \rightarrow (\exists y) (Q w y \land R y))$ 4. $(\forall x) (P x \rightarrow (\exists z) (Q x z \land R z))$ 5. $(\forall x) (P x \rightarrow (\exists u) (Q x u \land R u))$ 6. $(\forall x) (P x \rightarrow (\exists w) (Q x w \land R w))$