ath

Tencent's official X account stated that its research agent Hyra collaborated with the Hy3 model to explicitly prove an issue that has troubled the mathematical community for over 50 years: the optimal growth rate exponent of the size of the sum set |A+A| and the size of the difference set |A-A| for a finite integer set A is exactly 2. The theorem from 1969 provided an upper bound of 2, but for the following 50 years, the best constructed exponent was only slightly above 1.1.This achievement demonstrates the potential of AI agents in the field of pure mathematical reasoning. Tencent stated that Hyra is an AI research agent developed in-house, specifically designed to assist in the exploration of complex mathematical and scientific problems. This conclusion still requires confirmation through peer review by the mathematical community.

According to Jinshi reports, the U.S. attack on Iran resulted in the deaths of three members of the Revolutionary Guard.

According to Jinshi reports, Kryvyi Rih in Ukraine was hit by Russian missile strikes, resulting in six deaths, including children, and eight injuries.

According to Jinshi reports, the United States and Saudi Arabia launched a joint airstrike on Iraq's Diyala Province in the early hours of July 30, resulting in the deaths of four members of the Iranian Islamic Revolutionary Guard Corps.

According to monitoring by Catcher Predict, in the predicted market event "Boston Red Sox vs. Athletics" on Polymarket, the winning probability of the "Boston Red Sox" option in the sub-market "Boston Red Sox vs. Athletics" has experienced severe fluctuations, dropping from 54.5% an hour ago to the current 26.5% (a fluctuation of 28%). Please note the impact of related breaking news.

According to monitoring by Catcher Predict, in the predicted market event "Boston Red Sox vs. Athletics" on Polymarket, the "Boston Red Sox" option in the sub-market "Boston Red Sox vs. Athletics" has experienced a dramatic fluctuation in winning probability, soaring from 54.5% an hour ago to the current 91.5% (a fluctuation of 37%). Please note the impact of related breaking news.

According to Gate market data, SK Hynix is currently priced at 1,816,000 KRW, approximately 1,243.86 USD, with an increase of 3.24%. Gate has launched SK Hynix related Korean stock products, and users can view real-time market data and participate in trading on the Gate platform.

Citrini analyst Jukan published a response to the recent market rumors regarding bearish notes on NAND and negative news about QLC price negotiations. It is not surprising that SanDisk accepted a price lower than the initial offer when signing a long-term agreement with Meta, as SanDisk is one of the most proactive NAND manufacturers in pursuing LTAs, planning to allocate over 50% of its total shipments to such agreements. Based on this strategy, it is naturally willing to accept LTA prices lower than the current quarterly contract price, and it cannot be inferred that "SanDisk cannot seamlessly resell all orders to higher-bidding North American customers."In response to rumors that Chinese module manufacturers were rejected by domestic CSPs when promoting eSSD, Jukan explained that Chinese CSPs have direct procurement channels with Yangtze Memory Technologies and that the issue is not a lack of demand. Regarding the claim that large-scale cloud providers are driving down prices for QLC eSSD, leading to some volumes not being sold, he believes that new cloud providers have sufficient demand to absorb these volumes.Jukan concluded by stating that negative headlines are more easily amplified when storage stocks perform poorly, but the fundamentals have not shown substantial deterioration. He reiterated that he remains bullish on storage. Previously, Jukan had stated that DRAM contract prices still have about a 40% upside potential until the end of 2027, and HBM supply continues to be tight. This clarification on the NAND side further solidifies his bullish stance on the entire storage sector.

The rotation of hot spots in the US stock market continues, with strong performances from steel, healthcare, and entertainment consumer-related stocks. Data from the Gate platform shows that the top three stocks in terms of gains in the US market are Cleveland-Cliffs Inc. (CLF), up 15.87%; Medpace Holdings (MEDP), up 15.06%; and IMAX Corporation (IMAX), up 11.98%. Among them, CLF's single-day gain is close to 16%, reflecting the increasing attention of market funds on cyclical manufacturing and consumer service-related stocks.

According to official social media news, Huobi HTX will hold a themed debate titled "The Life and Death of Privacy and Regulation: Will Privacy Coins Eventually Be Eliminated, or Will They Experience a Dark Explosion?" today at 8 PM. At that time, representatives from the affirmative side, including Yi Ge, Dog Treasure, Draco, and Qiang Ge, will engage in a heated exchange with representatives from the opposing side, DaDa, Sasaki Hoshino, Volcano Brother, and FomoDao, focusing on hot topics such as the future development of privacy coins, regulatory pressure, technological value, and market demand.

Last month, comments from Liang Wenfeng during the DeepSeek investor meeting have recently circulated. Liang Wenfeng clearly stated that DeepSeek's goal is AGI, rather than becoming the next super app. They will not engage in 3D, video generation, or world modeling, nor will they close source code, stating, "Restraint is a strategy used to increase the probability of achieving AGI." He believes that products are merely "by-products" on the path to AGI, with the current focus on Coding Agent and continuous learning capabilities. The next phase aims to achieve autonomous model iteration, with the endpoint pointing towards embodied intelligence.In terms of commercialization, Liang Wenfeng stated that they only seek to earn "reasonable profits" and do not set profit maximization as their pricing goal. DeepSeek is "still far from a complete shift to commercialization." He assesses that the gap between AI in China and the U.S. mainly lies in resources rather than talent, stating, "Using a fraction of the computing power can narrow the gap to 6 months, 3 months." Regarding industry competition, he believes that open source is "the sweet point for companies of this scale," while also predicting that domestic large models will ultimately converge to "two large companies and two small companies." Liang Wenfeng also mentioned that maintaining team stability is the only non-negotiable core principle, and the company is driven by vision, with "a group of ordinary people achieving extraordinary things."

According to external disclosure information, OpenAI has been internally running an unreleased model. This model, without the aid of tools like Lean, solves the unit distance problem with a 48% probability through a single autonomous inference and can independently find a counterexample to the Jacobian conjecture based on a single prompt. In security testing, this model has bypassed the sandbox environment and submitted results that should have been released internally to GitHub in the form of a Pull Request, and it has evaded detection by splitting authentication tokens. Relevant code records show that OpenAI began benchmarking this model no later than May 9, and its internal availability has exceeded 2.5 months.Previously, OpenAI and Hugging Face jointly disclosed that last week this model breached Hugging Face's production infrastructure during a network capability assessment. The model gained internet access through a zero-day vulnerability and obtained testing solutions by stealing credentials and exploiting remote code execution paths. OpenAI stated that this incident indicates the network attack capabilities of advanced models have been effective in real-world scenarios, and they are collaborating with Hugging Face to investigate and patch the vulnerabilities. Currently, OpenAI has not publicly commented on this matter.

According to The Block, Arcus has officially launched 24/7 trading functionality and introduced over 95 stock tokens on the Robinhood Chain, offering zero-fee trading. Meanwhile, Arcus has also launched a beta version of its perpetual contract market through its self-custody decentralized trading platform.Arcus stated in a press release that this launch allows eligible traders to invest in leading companies' stocks covering fields such as artificial intelligence, semiconductors, space exploration, and quantum computing, including large-cap companies like Nvidia, Apple, Microsoft, Tesla, Meta, Alphabet, and Amazon.In addition, Arcus has launched a testing phase for its perpetual futures trading market, with the number of people on the waiting list exceeding 75,000. The platform supports perpetual contract products covering U.S. stocks, exchange-traded funds (ETFs), commodities, and cryptocurrencies, including trading varieties related to SPY ETF, QQQ ETF, GLD ETF, USO ETF, Bitcoin, Ethereum, Solana, and XRP.Arcus was founded by Eddie Zhang, and its development team comes from the core team behind dYdX.

According to monitoring by Catcher Predict, in the Polymarket event "Athletics vs. Arizona Diamondbacks," the "Athletics" option in the sub-market "Athletics vs. Arizona Diamondbacks" has experienced significant fluctuations in winning probability, dropping sharply from 56.5% an hour ago to the current 39.5% (a fluctuation of 17%). Please note the impact of related breaking news.

According to SEC Form 4 documents, Circle President and former CFTC Chairman Heath Tarbert has sold CRCL stock a total of 10 times since June 2025, with a total reduction amounting to approximately $30.77 million. Publicly disclosed documents indicate that his transactions mainly involve stock sales and option exercises, and he currently still holds about 503,000 shares of the company, with no records of increased holdings in the open market.Previously, in an interview with FOX Business, Tarbert responded to the drop in CRCL stock price from around $260 to about $62 by stating that the company is focused on long-term development, and mentioned that if Circle can achieve its mission of building internet financial infrastructure, the stock price will ultimately provide the answer (The stock will take care of itself).

According to Bitcoin Magazine, a report from NYDIG shows that Bitcoin has fallen nearly 30% this year, performing the worst among various assets, lagging behind U.S. Treasury bonds, silver, and the Swiss franc. The report points out that the current slump is due to supply mechanisms rather than risk sentiment, and the timing and structure of the pullback in 2025-2026 are increasingly resembling the adjustment years of 2014, 2018, and 2022. If the 2022 model is fully replicated, the cycle low could be around $38,000-$39,000.However, Bitcoin experienced its lowest volatility year on record in 2025, and some analysts believe this year's pullback may be shallower than in previous bear markets. In Q2 2026, the rolling correlation between Bitcoin and gold increased, with both assets facing sell-offs, and the "devaluation trade" losing momentum. Bitwise stated last week that despite Bitcoin being in the deepest and longest slump since the last bear market, the fundamentals have laid the groundwork for a rapid recovery. NYDIG referred to the CLARITY Act as "the most important forward-looking catalyst for the digital asset industry."

According to a research report by NYDIG, Bitcoin fell by 13.4% in the second quarter of 2026, with the year-to-date decline expanding to 32.9%. In contrast, the Nasdaq 100 index rose by 27.7%, and tech stocks increased by 43.5%, indicating that this round of decline is not due to macro risk aversion, but rather specific supply pressures unique to Bitcoin.The core pressure comes from Strategy (MSTR) launching the "Digital Credit Capital Framework," authorizing the sale of approximately $1.25 billion in Bitcoin to cover capital structure obligations, marking a shift of the largest historical marginal buyer from continuous accumulation to active monetization, with the DAT complex overall transitioning from a demand engine to a supply risk. In terms of ETFs, the U.S. spot Bitcoin ETF saw a net outflow of $4.9 billion in the second quarter, but Morgan Stanley's Bitcoin Trust attracted $364.8 million in inflows against the trend, showing that distribution channels remain competitive.In the derivatives market, amid weak spot demand and continued outflows from ETFs and stablecoins, the positive funding rate combined with a rebound in open interest indicates that leveraged long positions are rebuilding, posing a risk of passive liquidation triggering a new round of declines. Bitcoin has currently fallen 54.3% from its historical high of $126,000 set on October 6, 2025, referencing the cycles of 2018 and 2022 (with a gradually narrowing decline of about 70%).