Yulia Zeng

TradingKey - Meta (META) gần đây đã hoạt động tích cực trong lĩnh vực AI. Từ việc phát hành mô hình lập trình trả phí đầu tiên đến việc bắt đầu sản xuất hàng loạt các chip AI tự phát triển, chuỗi động thái này đã chuyển dịch tâm lý nhà đầu tư đối với chiến lược AI của công ty sang hướng tích cực.

TradingKey - Trong bối cảnh áp lực lạm phát toàn cầu liên tục ở mức cao và nhu cầu tiêu dùng suy yếu, ngành thực phẩm và đồ uống đang phải đối mặt với những thách thức chưa từng có. Trước giờ mở cửa phiên giao dịch tại Mỹ vào thứ Năm, tập đoàn tiêu dùng khổng lồ toàn cầu PepsiCo (PEP) đã công bố báo cáo kết quả kinh doanh quý II của năm tài chính 2026.

TradingKey - Thứ Năm (giờ địa phương), AstraZeneca (AZN) đã công bố thất bại của một thử nghiệm lâm sàng giai đoạn cuối quan trọng đối với thuốc thử nghiệm Wainua, khiến cổ phiếu giảm mạnh tới 8% trong phiên giao dịch tiền thị trường tại Mỹ xuống còn 173 USD.

TradingKey - Vào ngày 8 tháng 7, NVIDIA, hợp tác cùng khung phát triển AI LangChain, đã đồng công bố bản thiết kế NVIDIA NeMo Retriever Deep Agents. Bước đi này đánh dấu sự mở rộng toàn diện của NVIDIA từ một nhà cung cấp sức mạnh tính toán AI thuần túy thành một nền tảng sinh thái định hình các tiêu chuẩn phát triển Agent cấp doanh nghiệp, mở ra những cơ hội tăng trưởng mới cho mảng kinh doanh phần mềm của hãng.

TradingKey - Vào ngày 8 tháng 7 theo giờ địa phương, Cục Dự trữ Liên bang Mỹ (Fed) đã công bố biên bản cuộc họp chính sách tiền tệ của Ủy ban Thị trường Mở Liên bang (FOMC) diễn ra vào ngày 16-17 tháng 6. Đây là biên bản cuộc họp đầu tiên dưới sự chủ trì của tân Chủ tịch Kevin Warsh, hé lộ những bất đồng sâu sắc trong nội bộ Fed về lộ trình lãi suất trong tương lai.

TradingKey - Hôm thứ Tư, SambaNova, một công ty khởi nghiệp trong lĩnh vực chip AI, đã công bố hoàn thành vòng gọi vốn Series F trị giá 1 tỷ USD. Vòng gọi vốn này đã đẩy định giá của công ty lên mức 11 tỷ USD, biến SambaNova trở thành một "decacorn" (kỳ lân có định giá trên 10 tỷ USD) mới trong lĩnh vực chip AI.

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 - 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 $Dquot;. 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 gt; 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 gt; 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 gt; 1$. The variables with index gt; 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 gt; 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 gt; 2$. The variables with index gt; 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 gt; 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 gt; 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 gt; 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 gt; 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))$

TradingKey - Theo các nguồn tin do The Information trích dẫn, bộ phận trí tuệ nhân tạo của SpaceX, SpaceXAI, và công ty công cụ lập trình Cursor có kế hoạch ra mắt mô hình AI đầu tiên do hai bên hợp tác phát triển sớm nhất là vào thứ Tư tuần này.

TradingKey - Hôm nay, chỉ sau 15 phiên giao dịch kể từ khi niêm yết, SpaceX sẽ chính thức được đưa vào Chỉ số Nasdaq 100. Sự kiện này giúp SpaceX trở thành cổ phiếu thành phần đầu tiên trong lịch sử chỉ số có hoạt động kinh doanh cốt lõi là du hành không gian, đồng thời phá vỡ kỷ lục về thời gian gia nhập chỉ số nhanh nhất của một cổ phiếu mới niêm yết.

TradingKey - Cổ phiếu của Micron Technology (MU) đã giảm hơn 5% trong phiên giao dịch tiền thị trường vào thứ Ba, bị kéo xuống bởi mức sụt giảm mạnh trong giá cổ phiếu của các gã khổng lồ bộ nhớ Hàn Quốc là Samsung Electronics và SK Hynix.

TradingKey - SK Hynix đã chính thức khởi động chương trình roadshow toàn cầu cho Chứng chỉ Lưu ký tại Mỹ (ADR) của hãng vào thứ Hai tuần này. Trong báo cáo khách hàng mới nhất, UBS đã đề xuất một chiến lược kinh doanh chênh lệch giá (arbitrage) vô cùng hấp dẫn: mua ADR của SK Hynix và bán khống cổ phiếu niêm yết trong nước của hãng tại Hàn Quốc, đồng thời nhận định giao dịch này có rủi ro rất thấp và khả năng mở rộng quy mô cao.

TradingKey - NVIDIA (NVDA) đã nhanh chóng phản hồi và bác bỏ các tin đồn liên quan đến việc trì hoãn kiến trúc máy chủ AI thế hệ mới, đồng thời tuyên bố rằng "lộ trình sản phẩm vẫn không thay đổi".

TradingKey - Khi thỏa thuận ngừng bắn tạm thời giữa Mỹ và Iran có hiệu lực và hoạt động vận tải hàng hải qua Eo biển Hormuz dần khôi phục, thị trường dầu thô toàn cầu đang trải qua một bước đảo chiều mạnh mẽ. Kịch bản thiếu hụt nguồn cung, từng bị căng thẳng bởi các xung đột địa chính trị, giờ đây đã mờ nhạt và được thay thế bằng những lo ngại về nguy cơ dư thừa nguồn cung. OPEC+ đang phải đối mặt với những thách thức chính sách chưa từng có trong nỗ lực tìm kiếm sự cân bằng giữa việc khôi phục sản lượng và duy trì sự ổn định của giá cả.

TradingKey - Phân khúc dịch vụ đám mây AWS của Amazon (AMZN) đang đẩy nhanh chiến lược tự phát triển chip AI. Theo các nguồn tin từ chuỗi cung ứng, AWS đã thông báo cho các nhà cung cấp liên quan về việc tăng mục tiêu sản lượng xuất xưởng máy chủ ASIC trong quý 3 năm 2026 thêm 20% đến 30% so với kế hoạch ban đầu.

TradingKey - Vào ngày 6 tháng 7, Intel (INTC) đã chính thức xác nhận việc tăng giá bán lẻ đề xuất đối với một số dòng vi xử lý dành cho người tiêu dùng và máy chủ, với mức tăng dao động từ vài chục USD đến hơn một nghìn USD.

TradingKey - Sáng ngày 6 tháng 7, công ty nghiên cứu bán dẫn SemiAnalysis đã đăng tải một chuỗi sáu bài viết trên mạng xã hội X, tiết lộ rằng kiến trúc AI dạng tủ rack (rack-scale) Kyber NVL144 của Nvidia (NVDA) đang đối mặt với sự chậm trễ nghiêm trọng. Sản phẩm chủ lực này, từng được Jensen Huang giới thiệu nổi bật tại hội nghị GTC chỉ ba tháng trước, hiện được báo cáo là sẽ bị trì hoãn hơn 12 tháng, lùi thời điểm ra mắt sang năm 2028.

TradingKey - Trong tuần tới, các thị trường vốn toàn cầu sẽ đối mặt với một cú sốc thanh khoản sau kỳ nghỉ lễ Quốc khánh kéo dài. SpaceX (SPCX), tâm điểm của vụ IPO thế kỷ, sẽ chính thức được đưa vào Chỉ số Nasdaq 100 vào thứ Ba, có khả năng kích hoạt một đợt tái cơ cấu quy mô lớn đối với hàng trăm tỷ USD từ các quỹ đầu tư thụ động. Về mặt kinh tế vĩ mô, Cục Dự trữ Liên bang (Fed) sẽ công bố biên bản cuộc họp chính sách tiền tệ tháng 6, dưới sự chủ trì của tân Chủ tịch Kevin Warsh. Trong khi đó, mùa báo cáo kết quả kinh doanh quý II của Mỹ chuẩn bị bắt đầu, với gã khổng lồ tiêu dùng PepsiCo (PEP) và hãng hàng không trung tâm Delta Air Lines (DAL) là một trong những doanh nghiệp đầu tiên công bố báo cáo.

TradingKey - Thị trường chứng khoán Mỹ trong nửa đầu năm 2026 đã trải qua một đợt biến động mạnh mẽ như tàu lượn siêu tốc. Sau một quý đầu tiên ảm đạm, quý hai đã chứng kiến đợt phục hồi mạnh mẽ nhất trong gần sáu năm qua. Trong số các cổ phiếu tăng điểm, SanDisk (SNDK) dẫn đầu chỉ số S&P 500 với mức tăng vọt đáng kinh ngạc 858%. Nằm trong top 10 cổ phiếu có hiệu suất tốt nhất

TradingKey - Ngày 29 tháng 6, trong cuộc họp báo cáo quốc gia tại Nhà Xanh ở Seoul, Tổng thống Hàn Quốc Lee Jae-myung đã đưa ra tuyên bố chính thức kích hoạt động cơ mở rộng quy mô lớn nhất trong lịch sử ngành bán dẫn Hàn Quốc. Kế hoạch đầu tư chip trị giá hàng nghìn tỷ won này do Hàn Quốc dẫn dắt vừa là một ván cược táo bạo vào nhu cầu năng lượng tính toán trong kỷ nguyên AI, vừa là một bước ngoặt quan trọng trong việc tái định hình cục diện ngành bán dẫn toàn cầu.