Claude has written 180 million lines of mathematical proofs for 123 open-source libraries, uncovering hundreds of bugs.

According to official announcements, the MGBX platform has launched an exclusive new user welfare campaign open to eligible new users. During the event, users can claim a new user reward by completing tasks including registration, identity verification, deposit, and contract trading; by finishing tiered trading growth tasks, they also have the opportunity to unlock higher-value rewards, with a maximum of 30,000 USDT per user.

According to official announcements, Binance Alpha will delist PTB (Portal to Bitcoin), AA (ARAI), OWL (Owlto Finance), DORA, ELIZAOS (elizaOS), MEMES (memes will continue), and Kuku Ma on October 23 at 17:30. Following the delisting, Binance Alpha will still support withdrawals and sales of these tokens.

Solana staking service protocol Marinade has released its Q3 2026 report. As of September 30, its staked SOL amount reached 7.94 million tokens, a 21.2% sequential increase, driven primarily by its non-custodial native staking product Native and institutional-focused Select. Specifically, Native staked volume rose 47.3% sequentially to around 3.77 million SOL, Select grew 38.7% to approximately 1.68 million SOL, while mSOL decreased 6.8% sequentially to roughly 2.27 million SOL. Q3 revenue totaled about $1 million (equivalent to 10,918 SOL), a 25.9% sequential increase, mainly due to a 38.1% rise in validator bond settlement revenue. Additionally, its Staking Auction Market (SAM) delivered yields above the Solana Staking Index (SSI) in 48 out of 51 epochs during the quarter, with an average pre-Marindade-fee yield of 5.93%, compared to the index’s 5.67% over the same period. On the governance front, since MIP-22 took effect in July, Marinade has allocated 10% of its auction fees to repurchase MNDE on the open market. In Q3, it repurchased 4.2 million MNDE using 906.6 SOL, with the first distribution opening on October 1. The report also disclosed that on September 25, an attacker exploited a vulnerability in the DAO voting process to submit two malicious proposals, one involving transferring DAO treasury assets. The council vetoed both proposals in approximately six hours, completed a fix that same night, and no funds were transferred.

Futu Holdings subsidiary Futu Securities International (Hong Kong) Limited has announced the launch of BNB deposit and withdrawal services for eligible professional investors (PIs) in Hong Kong. Qualified PIs can now deposit BNB to their Futu crypto accounts from self-custody wallets, or withdraw to verified whitelisted addresses, via the BNB Smart Chain (BEP20) network. Earlier, Futu’s wholly-owned SFC (Securities and Futures Commission)-licensed virtual asset trading platform PantherTrade (Cheetah Trade) in Hong Kong had already listed BNB and offered BNB trading pairs to Hong Kong’s eligible professional investors.

U.S. financial media outlet Semafor reported this week that Elon Musk has proposed a merger between Tesla (TSLA.O) and SpaceX (SPCX.O). A former U.S. Department of Justice (DOJ) official said the risk of antitrust issues arising is real. The official noted that antitrust regulators typically view such "vertical" mergers as pro-competitive, as they help improve supply chain efficiency. However, if the Tesla-SpaceX merger is deemed a potential "vertical exclusionary" deal, regulators may seek to block it. The official explained that an "exclusionary" scenario refers to a company leveraging its market position to restrict competitors at other levels of its supply chain. In this case, if only Tesla vehicles were allowed to use SpaceX technologies like Starlink in the future, other autonomous driving or electric vehicle manufacturers could suffer as a result.

Beating AI Flash News: OpenAI originally deployed a monitoring system to track internal AI Agents for unauthorized actions, deception, or covert dangerous operations. Following audits by AI security firms METR and Redwood Research, the system itself was found to have multiple vulnerabilities. Two researchers worked on-site for three weeks, reviewing internal code and monitoring configurations, and submitted a 61-page report. One of the most severe flaws could let an AI evade monitoring for its last several hundred operations, with the system even failing to detect how the AI bypassed checks. Researchers also found Codex could theoretically break out of the sandbox restricting its operational scope, bypass automated security reviews, and gain the same access as its user. Additionally, two settings could directly disable monitoring for newly launched Agents, though enabling these settings might still be detected. The monitoring system’s design also had issues: the legacy system primarily checked an AI’s past activities only after it completed its current task. If the AI kept executing tasks without returning control to the user, it could avoid checks entirely. The system also lacked a step to compress historical records. Researchers estimated that between May and July 2026, around 10% of internal Codex traffic that should have been monitored was missed due to this gap. OpenAI employees had previously identified the problem and fixed it during the audit. OpenAI stated all vulnerabilities affecting its formal security protection systems have been patched, though the two firms have not yet conducted independent re-tests.