Trader Boomer holds a $30.55 million short position on Hyperliquid, with his HYPE short trade posting an unrealized loss of $39,700.

Prediction market platform Predict.fun data shows that the Group Stage match between Gen.G and IG at the 2026 League of Legends World Championship will kick off at 01:00 Beijing Time on October 24. The match follows a BO1 format, with the current market assigning a 78% win probability to Gen.G and 22% to IG. Note: Prediction market probabilities may change in real time based on market trading; please refer to the latest odds on the platform.

Beating AI News Flash: Anthropic has partnered with formal verification firm Theorem to leverage Claude for auditing software vulnerabilities using mathematical methods. Traditional testing typically relies on repeatedly feeding random data to check if a program crashes, but no matter how many tests are run, it can never guarantee full coverage of all potential issues. This time, Claude directly generates mathematical proofs for programs, aiming to fundamentally eliminate specific types of errors. Within weeks, Claude verified 239 test entry points across 123 open-source libraries, generating around 180 million lines of proof code, which was then checked by the Rocq mathematical proof tool. The results showed that under the specified runtime environment, these programs would not trigger the crashes targeted by the tests when handling any input smaller than 64 MB. During the proof process, Claude also discovered and fixed hundreds of bugs. For example, a decompression program would only suffer a memory out-of-bounds write when processing roughly 20 MB of data with an extremely specific structure. Another image decoding vulnerability required 64 MB of input and over 2 GB of memory to trigger—scenarios extremely hard to catch with standard random testing. This type of mathematical verification was historically extremely time-consuming. For instance, the seL4 operating system kernel required around 2 years of full-time human effort for development, but its mathematical verification took roughly 20 years—10 times the development workload.

According to official announcements, the dYdX Treasury SubDAO has increased its delegated staking to 100.76 million DYDX tokens, including repurchased tokens in delegation for the first time. The SubDAO released the results of its seventh periodic staking plan review, noting that 25 transactions were approved in this round to adjust the delegation configuration of 25,873,915 DYDX. For the first time, 10,719,308 DYDX purchased via the repurchase program were added to the delegation, lifting the Treasury SubDAO’s total delegated staking from 90,041,355 DYDX to 100,760,663 DYDX. The adjustment also covers reallocation of existing delegations. Earlier, as the active validator set shrank from 31 to 21 on September 17, around 8.34 million DYDX were delegated to validators outside the active set, rendering them ineligible for rewards. The Treasury SubDAO consequently reallocated the relevant staked assets and raised its focus on validators’ governance participation: validators that have not participated in or abstained from governance votes recently will receive less new delegation.

Data from prediction market platform Predict.fun shows that the 2026 League of Legends World Championship group stage match between Gen.G and IG will kick off at 01:00 Beijing Time on October 24. The match follows a BO1 format, with the current market assigning a 78% win probability to Gen.G and 22% to IG. Note: Prediction market probabilities may fluctuate in real time based on market transactions; please refer to the latest figures on the platform.

China Securities Regulatory Commission (CSRC) has approved the establishment of Citibank Securities (China) Co., Ltd. (hereinafter referred to as Citibank China). Registered in Shanghai, the firm has a registered capital of 1.2 billion yuan, with business scopes covering securities brokerage, securities investment consulting, securities underwriting and sponsorship, and proprietary securities trading. Its sole shareholder is Citigroup Global Markets Holdings Co., Ltd., which holds a 100% stake. (Source: China Securities Regulatory Commission)

Beating AI Exclusive Insight: ByteDance’s Volcano Engine Launches Seedance 2.5 4K for 4K Film & TV Production. ByteDance’s Volcano Engine has released Seedance 2.5 4K, upgrading its previous Seedance 2.5 (which supported up to 1080P) to enable 4K film and television production. Beyond the resolution boost, the new version has enhanced character micro-expressions, subtle movements, and frame details through specialized training. According to the official, when performing reference generation and video editing, the model can better retain the clarity, colors, and small text of original materials. Currently, the first batch is only available to 20 global film and television studios and directors on a targeted basis, with around 20 works participating in trials. The earliest project is scheduled to air on satellite TV in November.